Explore projects
-
taf / FAST extended release
GNU General Public License v2.0 or laterFAST 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.
Updated -
Updated
-
Datalab / Immersion_IA
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Bandet Alexis / y86js_v2
GNU General Public License v3.0 or laterYet 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.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Atelier bordelais des données de recherche / Glossaire entrepôt Recherche Data Gouv
Creative Commons Zero v1.0 UniversalUpdated -
Ressources et inspirations pour la co-élaboration du schéma directeur développement durable et responsabilité sociétale de l'université de Bordeaux
Updated -
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)
Updated -
Updated
-
-
Terahertz articles / Terahertz near-field microscopy of ductal carcinoma in situ DCIS of the breast
CI/CD Catalog (unpublished)Updated