Explore projects

Petit-Julia compiler project by Paul Fournier and Damien Varry.

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.

Netlist simulator implementation by Paul Fournier, for the DigSys project.

In OCaml.

The internship report for my M1 internship (March-July 2020)

Kotlin Typer for the Compilation course at École Normale Supérieure.

Project for the Digital Systems course at École Normale Supérieure.

Simulation d'un quadricoptère avec Zélus

Simulation d'un quadricoptère avec Zélus

Rewrite the passmanager in ocsigen.