Explore projects
-
Petit-Julia compiler project by Paul Fournier and Damien Varry.
Updated -
Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Netlist simulator implementation by Paul Fournier, for the DigSys project.
Updated -
-
The internship report for my M1 internship (March-July 2020)
archived 0Updated -
Kotlin Typer for the Compilation course at École Normale Supérieure.
archived 0Updated -
Project for the Digital Systems course at École Normale Supérieure.
archived 0Updated -
Updated
-
Updated
-
-
Updated
-
-
-
Updated