Explore projects

TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.

Spécification et preuves des algos de parcoursup

Plugin d'activité Moodle pour insertion de ressource vidéo déposée sur le sertveur MediaPOD

Yet another web, Javascript-based, version of the popular y86 virtual microprocessor environment. In addition to y86 code assembly and execution, it provides HCL compilation and processor configuration features.

Repository for the Food Interactions with Drugs Evidence Ontology (FIDEO).