Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
Trying to generate soundscapes with Neural Networks as part of the Deep Learning course at École Normale Supérieure.
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
Python library for studying triangular lattices subject to Pachner moves. See https://arxiv.org/abs/1907.10717 .