cwtsteven

Pinned Repositories

C-like-Compiler
Language:OCaml0 1 00
DGoIM-Compiler
A compiler based on DGoIM for lambda calculus with numerals and arithmetic operations
Language:Standard ML30
GoI-TF-Visualiser
A simulation tool of a GoI-style abstract machine implementing *Idealised Tensor Flow* - a language for machine learning.
Language:JavaScript01
GoI-Visualiser
A simulation tool of a GoI-style machine implementing call-by-value lambda calculus.
Language:JavaScript11
SySyF-visual
Language:JavaScript00
Transparent-Synchronous-Dataflow
Language:OCaml0 1 00
TSD
Transparent Synchronous Dataflow
Language:OCaml6 2 12
TSD-visual
Language:JavaScript2 1 00
Validated-Parsing-of-Regular-Expressions-in-Agda
Language:Agda31

cwtsteven's Repositories

cwtsteven/TSD
Transparent Synchronous Dataflow
Language:OCaml6 2 12
cwtsteven/DGoIM-Compiler
A compiler based on DGoIM for lambda calculus with numerals and arithmetic operations
Language:Standard ML30
cwtsteven/Validated-Parsing-of-Regular-Expressions-in-Agda
Language:Agda31
cwtsteven/TSD-visual
Language:JavaScript2 1 00
cwtsteven/GoI-Visualiser
A simulation tool of a GoI-style machine implementing call-by-value lambda calculus.
Language:JavaScript11
cwtsteven/C-like-Compiler
Language:OCaml0 1 00
cwtsteven/GoI-TF-Visualiser
A simulation tool of a GoI-style abstract machine implementing *Idealised Tensor Flow* - a language for machine learning.
Language:JavaScript01
cwtsteven/SySyF-visual
Language:JavaScript00
cwtsteven/Transparent-Synchronous-Dataflow
Language:OCaml0 1 00