Explore projects

Petit-Julia compiler project by Paul Fournier and Damien Varry.

ZRun modified to use the Fix fixpoint library. https://github.com/marcpouzet/zrun https://gitlab.inria.fr/fpottier/fix

Simulation d'un quadricoptère avec Zélus

TPs d'entraînement à l'agreg

Probabilistic programming library for OCaml (MPRI 2.40 project).

Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).

Static analyzer for the Semantics and Verification course at École Normale Supérieure.

Netlist simulator implementation by Paul Fournier, for the DigSys project.

The internship report for my M1 internship (March-July 2020)

In OCaml.