Explore projects

ZRun modified to use the Fix fixpoint library. https://github.com/marcpouzet/zrun https://gitlab.inria.fr/fpottier/fix

Simulation d'un quadricoptère avec Zélus

Simulation d'un quadricoptère avec Zélus

www.eleves.ens.fr webpage

TPs d'entraînement à l'agreg

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).

Projet du cours de sysdig

Static analyzer for the Semantics and Verification course at École Normale Supérieure.

Le site de la *thèque

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