Explore projects
-
Implementation of a Parrot Mambo controller in Lustre.
archived 0Updated -
-
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
-
Updated
-
Updated
-
Project for the Digital Systems course at École Normale Supérieure.
archived 0Updated -
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated -
Updated
-
Updated
-
Probabilistic programming library for OCaml (MPRI 2.40 project).
archived 0Updated -
-
-
-
-
Updated
-
Petit-Julia compiler project by Paul Fournier and Damien Varry.
Updated -
-
Updated
-
Updated