epatrizio

R&D software engineer. Programming languages design enthusiast.

@sismicfrParis - France

Pinned Repositories

bdd
Binary Decision Diagram in OCaml
Language:OCaml0 1 60
cds
Data structures in C language
Language:C0 1 160
chttpserver
Minimalist and naive http server in C language
Language:C1 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:C0 1 20
epatrizio
My profile
0 1 00
hgame
A sample game in Haskell language
Language:Haskell0 1 20
miniml2wasm
MiniML to WebAssembly compiler
Language:OCaml1 1 90
ola
OCaml Lua Interpreter
Language:OCaml1 1 171

epatrizio's Repositories

epatrizio/chttpserver
Minimalist and naive http server in C language
Language:C1 1 80
epatrizio/miniml2wasm
MiniML to WebAssembly compiler
Language:OCaml1 1 90
epatrizio/ola
OCaml Lua Interpreter
Language:OCaml1 1 171
epatrizio/bdd
Binary Decision Diagram in OCaml
Language:OCaml0 1 60
epatrizio/cds
Data structures in C language
Language:C0 1 160
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:C0 1 20
epatrizio/epatrizio
My profile
0 1 00
epatrizio/epatrizio.github.io
My personal website
Language:HTML0 1 00
epatrizio/hgame
A sample game in Haskell language
Language:Haskell0 1 20
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 01
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