Explore projects

Petite librairie sur la coloration de digraphes.

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

Simulation d'un quadricoptère avec Zélus

Simulation d'un quadricoptère avec Zélus

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

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

Probabilistic programming library for OCaml (MPRI 2.40 project).

TPs d'entraînement à l'agreg