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.
