Explore projects
-
Petit-Julia compiler project by Paul Fournier and Damien Varry.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
ZRun modified to use the Fix fixpoint library. https://github.com/marcpouzet/zrun https://gitlab.inria.fr/fpottier/fix
Updated -
Updated
-
-
Updated
-
-
Updated
-
Probabilistic programming library for OCaml (MPRI 2.40 project).
archived 0Updated -
Updated
-
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
archived 0Updated -
archived 0Updated
-
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
Netlist simulator implementation by Paul Fournier, for the DigSys project.
Updated -
The internship report for my M1 internship (March-July 2020)
archived 0Updated -