Pinned Repositories
bdd
Binary Decision Diagram in OCaml
cds
Data structures in C language
chttpserver
Minimalist and naive http server in C language
comp2mzam
Imperative language compiler to the Mini-ZAM
ctestfmk
Minimalist and naive unit testing framework in C language
cum
A Universal Machine in C language
epatrizio
My profile
epatrizio.github.io
My personal website
hgame
A sample game in Haskell language
ola
OCaml Lua Interpreter
epatrizio's Repositories
epatrizio/bdd
Binary Decision Diagram in OCaml
epatrizio/cds
Data structures in C language
epatrizio/chttpserver
Minimalist and naive http server in C language
epatrizio/comp2mzam
Imperative language compiler to the Mini-ZAM
epatrizio/ctestfmk
Minimalist and naive unit testing framework in C language
epatrizio/cum
A Universal Machine in C language
epatrizio/epatrizio
My profile
epatrizio/epatrizio.github.io
My personal website
epatrizio/hgame
A sample game in Haskell language
epatrizio/ola
OCaml Lua Interpreter
epatrizio/experiments
Some pedagogical experiments
epatrizio/lcalculustyp
Lambda calculus typer and evaluator in OCaml
epatrizio/mep
mep website
epatrizio/mutaml_exp
Mutaml (OCaml mutation tester) experiments
epatrizio/my-website
My website
epatrizio/ographics
Study : OCaml Graphics to the web
epatrizio/onestlatech.github.io
Manifeste des travailleuses et travailleurs du numérique pour une autre réforme des retraites
epatrizio/owi
OCaml WebAssembly Interpreter