O
Ocaml
Projects with this topic
-
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Updated -
Verimag's fork of CompCert
Updated
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Verimag's fork of CompCert