Steven Cheung's repositories
DGoIM-Compiler
A compiler based on DGoIM for lambda calculus with numerals and arithmetic operations
GoI-Visualiser
A simulation tool of a GoI-style machine implementing call-by-value lambda calculus.
GoI-TF-Visualiser
A simulation tool of a GoI-style abstract machine implementing *Idealised Tensor Flow* - a language for machine learning.
Language:JavaScript000
Language:JavaScript000