Explore projects

Tower Defense

~/bin/

MOVED TO https://github.com/gmevel/euler-lib ! an arithmetic library for OCaml’s standard integers

Program logic for developing and verifying distributed systems

MP★ @ Clemenceau — the source code of my TIPE (scholar work for the French Grandes Écoles’ recruitment exams)

M2 @ ENS Cachan / MPRI — Functional Programming (2-4) — Project: compiling a functional language down to C, through a CPS translation and defunctionalization

implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)

Aide à la tenue de comptes sur le wiki