Explore projects

Block moodle reprenant les fonctionnalité de "myoverview" en y ajoutant des fonctionnalité de classement personnalisable par l'utilisateur.

Le projet ACT (Augmented university for Campus and world Transition), déposé en réponse à l’appel à projet IDéEs (Intégration et développement des IdEx et des ISITE) du PIA3, a été retenu en 2020. Il vise à transformer les campus de l’université de B

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.