Explore projects
-
Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.
Updated -
UpdatedUpdated
-
HySoP (Hybrid Simulation with Particles) is a library dedicated to high performance direct numerical simulation of fluid related problems based on semi-lagrangian particle methods.
Updated -
A CEGAR-based solver for maximum model counting
Updated -
Decision Making Repo
Updated -
ABB IRB 14000 YuMi Motion Module
Updated -
Updated
-
Vision module for PacBot project
Updated -
This repository is NOT MAINTAINED anymore. Please use the public github repository: https://github.com/idefix-code/idefix
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 -
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
-
Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Updated -
Updated
-
Updated