Explore projects

Report on my M2 internship as part of the MPRI.

TPs d'entraînement à l'agreg

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

Website for the Ready, Make, Play! event

Une nouvelle version du serveur photos

Code du TP en TDD du cours de Génie Logiciel de la Prépagreg d'info de Jussieu

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

ZRun modified to use the Fix fixpoint library. https://github.com/marcpouzet/zrun https://gitlab.inria.fr/fpottier/fix