Explore projects

Report on my M2 internship as part of the MPRI.

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).

On empile, on dépile, et on se désopile.

Website for the Ready, Make, Play! event

Une nouvelle version du serveur photos