Explore projects

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

Simulation d'un quadricoptère avec Zélus

TPs d'entraînement à l'agreg

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

Projet du cours de sysdig

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.

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

Projet de sémantique 2015

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