OMicroB

An OCaml generic virtual machine for microcontrollers

OCaLustre

OCaml syntax extension for synchronous programming...

bytecrawler

WCET computing of OCaml bytecode (for microcontrollers)

EquivalenceChecking

Prototype for equivalence checking of two ML programs

sudocaml

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