Explore projects

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

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

Exercice de démineur pour le cours de POO de la prépagreg de Jussieu

Code du TP en TDD du cours de Génie Logiciel de la Prépagreg d'info de Jussieu

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

Implementation of a Parrot Mambo controller in Lustre.

Repository containing all relevant codes resulting from my internship at Econophysix during spring 2021 on the equilibria of random forces field in low dimension.

Archives réalisées en mai-juin 2021, lors de la discussion d'une éventuelle migration (depuis décalée) de l'ENS à 365 pour la rentrée suivante, auquel s'oppose l'arrêt rendu à la même période par la CNIL.

Contains LaTeX and pdf files related to my internship at INRIA Montpellier.

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination