Explore projects

Probabilistic programming library for OCaml (MPRI 2.40 project).

Rewrite the passmanager in ocsigen.

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

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

Projet de sémantique 2015

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

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.

Projet du cours de sysdig