This is your work, valued
Cambridge, UK
OMicroB. An OCaml generic virtual machine for microcontrollers
155OCaLustre. OCaml syntax extension for synchronous programming...
33sudocaml. Sudoku solver written in OCaml (based on http://norvig.com/sudoku.html)
3bytecrawler. WCET computing of OCaml bytecode (for microcontrollers)
3EquivalenceChecking. Prototype for equivalence checking of two ML programs
2 views searches