Explore projects
-
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
archived 0Updated -
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
archived 0Updated -
Probabilistic programming library for OCaml (MPRI 2.40 project).
archived 0Updated -
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated -
archived 0Updated
-
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
Implementation of a Parrot Mambo controller in Lustre.
archived 0Updated -
archived 0Updated
-
Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.
archived 0Updated -
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
Basic operating system for the Operating System course at École Normale Supérieure.
archived 0Updated -
Kotlin Typer for the Compilation course at École Normale Supérieure.
archived 0Updated -
Project for the Digital Systems course at École Normale Supérieure.
archived 0Updated -
archived 0Updated