Explore projects

Example repository with Matlab files

Un dépôt de secours pour les étudiants du Master 1 Biogéosciences ayant eu des problèmes d'installation.

Dépôt pour le projet de Graduate School UB « Imagerie et morphométrie 3D »

Place to share public ressources

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.

Ressources et inspirations pour la co-élaboration du schéma directeur développement durable et responsabilité sociétale de l'université de Bordeaux