Explore projects
-
-
-
Site web des interludes, en ligne à l'adresse https://interludes.ens.fr
Updated -
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.
Updated -
Updated
-
Updated
-
Website for inventory and suggestion management for the board game club. This can later be adapted for *-thèque or other library-like student associations.
Updated -
-
-
Site web des 48h des jeux, en ligne à l'adresse https://48hdesjeux.cof.ens.fr
Updated -
-
Updated
-
Projet pour le cours Systèmes et Réseaux (2016-17). Serveur web.
Updated -
-
Updated
-
-
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated -
Firefox OS app (and webapp) for the Velib bike sharing system in Paris.
Updated -
-
Updated