Explore projects
-
-
GruLab / 6DCNN
GNU General Public License v3.0 or laterUpdated -
Updated
-
MecaIceIGE / Tools / Ice Polycrystal Models / R³iCe
GNU General Public License v3.0 or laterUpdated -
Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.
Updated -
Updated
-
A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)
Updated -
Regale / Tools / REGALE Library
Apache License 2.0Updated -
Updated
-
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
tima / sls / gem-spsr
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement
Updated -
Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement
Updated -
Updated
-
Updated
-
Updated
-
Updated