Explore projects
-
Updated
-
Code du TP en TDD du cours de Génie Logiciel de la Prépagreg d'info de Jussieu
Updated -
Site web des 48h des jeux, en ligne à l'adresse https://48hdesjeux.cof.ens.fr
Updated -
ZRun modified to use the Fix fixpoint library. https://github.com/marcpouzet/zrun https://gitlab.inria.fr/fpottier/fix
Updated -
Updated
-
Updated
-
-
Updated
-
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated -
Site web des interludes, en ligne à l'adresse https://interludes.ens.fr
Updated -
archived 0Updated
-
Updated
-
Petit-Julia compiler project by Paul Fournier and Damien Varry.
Updated -
-
-
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
Updated
-
-
Updated
-