Explore projects

TPs d'entraînement à l'agreg

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

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

Netlist simulator implementation by Paul Fournier, for the DigSys project.

Simulation d'un quadricoptère avec Zélus

Simulation d'un quadricoptère avec Zélus

Petite librairie sur la coloration de digraphes.