Explore projects

Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.

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

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

TPs d'entraînement à l'agreg

Probabilistic programming library for OCaml (MPRI 2.40 project).

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.

Simulation d'un quadricoptère avec Zélus

Simulation d'un quadricoptère avec Zélus