Explore projects
-
Updated
-
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
archived 0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
-
Static analyzer for the Semantics and Verification course at École Normale Supérieure.
archived 0Updated -
Updated
-
-
Updated
-
Updated
-
-
Trying to generate soundscapes with Neural Networks as part of the Deep Learning course at École Normale Supérieure.
archived 0Updated -