gricad-gitlab.univ-grenoble-alpes.fr topics: Ocaml
perinmi/Turing_Machine
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1
certicompil/Chamois-CompCert
Verimag's fork of CompCert
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0
Related Keywords