Explore projects

Programme pour dumper tout ou partie de la compta du COF (gnucash).

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

Projet du cours de sysdig

In OCaml.

Projet du cours de programmation fonctionnelle au MPRI

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

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

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

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

Probabilistic programming library for OCaml (MPRI 2.40 project).

TPs d'entraînement à l'agreg

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).