Explore projects
-
PAGAI / PAGAI
CeCILL-B Free Software License AgreementPath Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Updated -
Updated
-
Regale / Tools / REGALE Library
Apache License 2.0Updated -
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
-
nonsmooth / siconos
Apache License 2.0Updated -
PacBot_Group / State_Controller
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
Thomas Lavocat / toy_stencyl_app
GNU General Public License v3.0 onlySimple application de diffusion de chaleur se connectant à une file de message pour lui envoyer le résultat de ses calculs.
Updated -
Updated
-
-
Thomas Lavocat / validator
GNU General Public License v3.0 onlyPrograms that validate Spark streaming computation presence for toy stencyl app.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
PacBot_Group / vision_pacbot
GNU Lesser General Public License v2.1 onlyVision module for PacBot project
Updated