Explore projects

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

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.

Spécification et preuves des algos de parcoursup

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

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.