Explore projects

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.

On empile, on dépile, et on se désopile.

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

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

Projet du cours de programmation fonctionnelle au MPRI