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.
dernière synchronisation: il y a presque 2 ans - enregistré: il y a presque 2 ans - étoiles: 0 - forks: 1
certicompil/Chamois-CompCert
Verimag's fork of CompCert
dernière synchronisation: il y a plus d'un an - enregistré: il y a presque 2 ans - étoiles: 3 - forks: 0
Related Keywords