Explore projects

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

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.

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.