Explore projects

Site web des interludes, en ligne à l'adresse https://interludes.ens.fr

Site web des 48h des jeux, en ligne à l'adresse https://48hdesjeux.cof.ens.fr

Une nouvelle version du serveur photos

Le parolier de Vox Ernestorum, chorale geek d'Ulm

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