Explore projects
-
Python library for studying triangular lattices subject to Pachner moves. See https://arxiv.org/abs/1907.10717 .
archived 0Updated -
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
archived 0Updated -
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
Trying to generate soundscapes with Neural Networks as part of the Deep Learning course at École Normale Supérieure.
archived 0Updated -
archived 0Updated
-
archived 0Updated
-
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
archived 0Updated -
archived 0Updated
-
-
Probabilistic programming library for OCaml (MPRI 2.40 project).
archived 0Updated -
archived 0Updated
-
Code for the LEDs installation at Nuit de la rue d'Ulm in 2014.
archived 0Updated -
Code for the LEDs installation at Nuit de la rue d'Ulm in 2013.
archived 0Updated -
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
archived 0Updated -
archived 0Updated
-
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated -
Project for the Digital Systems course at École Normale Supérieure.
archived 0Updated -
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
Report on my M1 internship as part of the Computer Science Master's degree of École Normale Supérieure de Paris.
archived 0Updated -
Implementation of a Parrot Mambo controller in Lustre.
archived 0Updated