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 -
TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.
Updated -
Updated
-
Griffier Romain / Géocodage - IRIS
MIT LicenseUpdated -
Diallo Amadou / QHarmonic3D
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Drance Martin / Pre-Trained Embeddings for Enhancing Multi-Hop Reasoning
BSD 3-Clause "New" or "Revised" LicenseUpdated -
This is to a way to hold and publish easily my web content.
UpdatedUpdated -
Updated
-
Updated
-
Updated
-
Dépôt Binder "de secours" pour les étudiants de M1 ASA ayant eu des problèmes d'installation. (Édition 2022/2023.)
Updated -
Updated