Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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).
-
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.