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.

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.

A CEGAR-based solver for maximum model counting

Decision Making Repo

ABB IRB 14000 YuMi Motion Module

Vision module for PacBot project

This repository is NOT MAINTAINED anymore. Please use the public github repository: https://github.com/idefix-code/idefix

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

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

A basic C++ parser to read data from a file with format key value

Tutorial: Albert's example

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.