Beast code in Giters

Steven Cheung's repositories

Transparent Synchronous Dataflow

Language:OCaml6 2 1

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

Language:Standard ML300

Language:Agda300

Language:JavaScript2 10

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

Language:JavaScript100

Language:OCaml000

A simulation tool of a GoI-style abstract machine implementing *Idealised Tensor Flow* - a language for machine learning.

Language:JavaScript000

Language:JavaScript000

Language:OCaml000