Explore projects
-
-
-
Basic operating system for the Operating System course at École Normale Supérieure.
archived 0Updated -
-
Programme pour dumper tout ou partie de la compta du COF (gnucash).
Updated -
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.
archived 0Updated -
-
Projet d'Algorithmique et Programmation Implémentation de Kruskal et application au Voyageur de Commerce
Updated -
-
Updated
-
Updated
-
Updated
-
-
Updated
-
-
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
Updated
-
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated