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.

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

An awesome operating system

Projet d'Algorithmique et Programmation Implémentation de Kruskal et application au Voyageur de Commerce

Jarvis bot for hackEns IRC chan.

Parts used to build our RepRap i3, which we called Adelaide, mostly based on EiNSTeiN variant.

In OCaml.

Projet du cours de sysdig