Explore projects

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.

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

Go extension for Visual Studio Code

This is to a way to hold and publish easily my web content.

Dépôt Binder "de secours" pour les étudiants de M1 ASA ayant eu des problèmes d'installation. (Édition 2022/2023.)

Computational knowledge graph based drug repositioning: an holistic approach

Supports pour le cours de Prog Objet - LP DAWIN B - 2022

Slides for the microtomographic data acquisition lesson of the Graduate School 3D Imaging and Geometric Morphometrics. UMR 5199 PACEA, University of Bordeaux. June 23 - 29, 2022. Adeline Le Cabec, Nicolas Vanderesse.