Explore projects
-
-
Updated
-
Parts used to build our RepRap i3, which we called Adelaide, mostly based on EiNSTeiN variant.
Updated -
-
Probabilistic programming library for OCaml (MPRI 2.40 project).
archived 0Updated -
Updated
-
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
archived 0Updated -
Updated
-
Updated
-
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
Une feuille A4 recto/verso max, distribuée aux conscrit·e·s à la rentrée. Détaille les services informatiques élèves à l'ENS, ainsi que quelques infos plus générales sur l'informatique à l'ENS (pas nécessairement élèves).
Updated -
-
-
Updated
-
Updated
-
Updated
-
Updated
-
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
Draw something on a wooden board, with a marker, and cut it immediately using a CNC milling machine.
Updated