JSuder-xx/litlog JSuder-xx/litlog

  • Stars
    star
    2
  • Language
    OCaml
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JSuder-xx/litlog
github

JSuder-xx

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An on-line literate logic programming language (similar to Prolog) designed to replace symbol heavy syntax with literate keywords in order to focus learners on fundamental logic programming concepts.

More Repositories

1

TSqlStrong

T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of temporary table at call site, more. On-line demo available.
C#
11
star
2

abstract-astar

Versatile A* (A Star) implementation in TypeScript.
TypeScript
8
star
3

planning-day

TypeScript Playground plugin for planning an agile sprint or iteration by combining static type verification of configuration with a React Gantt chart visualization.
TypeScript
4
star
4

dependently-typed-rummikub

Proof of the dependent typing capabilities of TypeScript. Demonstration of type-checking literal arrays of Rummikub tiles as valid Runs or Groups.
TypeScript
2
star
5

elm-review-reducible-lambdas

Elm review rule to detect reducible functions such as by eta reduction.
Elm
1
star
6

elm-module-explorer

Visualize and navigate functions related to types declared in the current Elm file.
Elm
1
star
7

elm.simplication

Simple logic implication visualizer as a communication aide.
Elm
1
star
8

elm-ra

Support for Pointfree style in Elm with a subset of Ramda functions; excludes functions provided by elm-community Extra packages.
Elm
1
star
9

typescript-union-types-with-mobx-react

Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.
TypeScript
1
star
10

decision-matrix

A small on-line decision matrix application to assist in decision making and communicating relevant factors with collaborators. Written in OCaml using TEA. Hosted on-line demo available.
OCaml
1
star
11

multicast-elm

Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.
Elm
1
star