Explore projects

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

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

Implementation of a Parrot Mambo controller in Lustre.

Review on GANs for the Artificial Vision class at ENS.

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