Pinned Loading

1. TSD TSD Public

   Transparent Synchronous Dataflow

   OCaml 6 2

2. DGoIM-Compiler DGoIM-Compiler Public

   A compiler based on DGoIM for lambda calculus with numerals and arithmetic operations

   Standard ML 3

3. TSD-visual TSD-visual Public

   JavaScript 2

4. Validated-Parsing-of-Regular-Expressions-in-Agda Validated-Parsing-of-Regular-Expressions-in-Agda Public

   Agda 3 1

5. GoI-Visualiser GoI-Visualiser Public

   A simulation tool of a GoI-style machine implementing call-by-value lambda calculus.

   JavaScript 1 1

6. C-like-Compiler C-like-Compiler Public

   OCaml