Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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.
-
Kotlin Typer for the Compilation course at École Normale Supérieure.
-
Project for the Digital Systems course at École Normale Supérieure.
-
-
Code for the podias in K-Fêt.
