Explore projects

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.

Plugin d'activité Moodle pour insertion de ressource vidéo déposée sur le sertveur MediaPOD

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.