Cambridge, UK

Steven Varoumas

Advanced
@stevenvar

Compiler Engineer

stevenvar.github.io/

OMicroB. An OCaml generic virtual machine for microcontrollers

155

OCaLustre. OCaml syntax extension for synchronous programming...

33

sudocaml. Sudoku solver written in OCaml (based on http://norvig.com/sudoku.html)

3

bytecrawler. WCET computing of OCaml bytecode (for microcontrollers)

3

EquivalenceChecking. Prototype for equivalence checking of two ML programs

2
5
Apply