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

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

Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).

Probabilistic programming library for OCaml (MPRI 2.40 project).

Ceci est ma contribution pour l'examen du cours 2.37.1 du MPRI.

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

Report on my M1 internship as part of the Computer Science Master's degree of École Normale Supérieure de Paris.

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

Implementation of a Parrot Mambo controller in Lustre.

Review on GANs for the Artificial Vision class at ENS.

Trying to generate soundscapes with Neural Networks as part of the Deep Learning course at École Normale Supérieure.

Python library for studying triangular lattices subject to Pachner moves. See https://arxiv.org/abs/1907.10717 .

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

Deuxième DM d'Apprentissage Statistique (S2 18-19)

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

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