Eric Patrizio's repositories
bdd
Binary Decision Diagram in OCaml
Language:OCamlUnlicense000
chttpserver
Minimalist and naive http server in C language
Language:CUnlicense000
cum
A Universal Machine in C language
Language:CUnlicense000
epatrizio.github.io
My personal website
Language:HTMLUnlicense000
hgame
A sample game in Haskell language
Language:HaskellUnlicense000
ola
OCaml Lua Interpreter
Language:OCamlUnlicense000
experiments
Some pedagogical experiments
Language:OCamlUnlicense000
lcalculustyp
Lambda calculus typer and evaluator in OCaml
mutaml_exp
Mutaml (OCaml mutation tester) experiments
Language:OCaml000
my-website
My website
Language:HTML000
onestlatech.github.io
Manifeste des travailleuses et travailleurs du numérique pour une autre réforme des retraites
000
owi
OCaml WebAssembly Interpreter
Language:OCamlAGPL-3.0000