epatrizio

R&D software engineer. Programming languages design enthusiast.

@OCamlProParis - France

Pinned Repositories

bdd
Binary Decision Diagram in OCaml
Language:OCaml00
cds
Data structures in C language
Language:C0 1 160
chttpserver
Minimalist and naive http server in C language
Language:C0 1 80
comp2mzam
Imperative language compiler to the Mini-ZAM
Language:OCaml0 1 110
ctestfmk
Minimalist and naive unit testing framework in C language
Language:C0 1 80
cum
A Universal Machine in C language
Language:C00
epatrizio
My profile
0 1 00
epatrizio.github.io
My personal website
Language:HTML00
hgame
A sample game in Haskell language
Language:Haskell00
ola
OCaml Lua Interpreter
Language:OCaml01

epatrizio's Repositories

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