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

TPs d'entraînement à l'agreg

Projet du cours de sysdig

Projet de sémantique 2015

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