Explore projects
-
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
archived 0Updated
-
Submission for the programming project of the MPRI course "Proof of Programs".
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 -
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
archived 0Updated
-
Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.
archived 0Updated -
Basic operating system for the Operating System course at École Normale Supérieure.
archived 0Updated -
-
Review on GANs for the Artificial Vision class at ENS.
archived 0Updated