Léon Gondelman's repositories
ocaml2lang
Compiler from OCaml to AnerisLang
Language:Coq000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
SPO2024
Language and Compiler's Course 2024 Aalborg University
000