Explore projects

Probabilistic programming library for OCaml (MPRI 2.40 project).

Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).

Static analyzer for the Semantics and Verification course at École Normale Supérieure.

The internship report for my M1 internship (March-July 2020)

Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.

Submission for the programming project of the MPRI course "Proof of Programs".

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).

Basic operating system for the Operating System course at École Normale Supérieure.

Project for the Digital Systems course at École Normale Supérieure.

Kotlin Typer for the Compilation course at École Normale Supérieure.

Implementation of a Parrot Mambo controller in Lustre.