Explore projects

Spécification et preuves des algos de parcoursup

Comparison of Ultimate Frisbee Tournament and Championship (done during Université de Bordeaux Licence 1 internship of Adrian Pino at LaBRI from June 12th to July 7th 2023)

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

FAST extended release is the sequel of FAST model-checker developped at LSV. This tools has been extended with TaPAS libraries in order to accept plugins for solvers of the Presburger arithmetic.

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

UB fork of the js-y86 project by Victor AGUILAR and Xuming ZENG