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 -
Archived 2UpdatedArchived 2Updated
-
Updated
-
particle_methods / hysop
Apache License 2.0HySoP (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 -
Updated
-
Updated
-
Updated
-
Amaury Negre / beagle_irc
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Background Subtraction from 3D LiDAR PointCLoud
Updated -
Geoffroy Lesur / Idefix Public
CeCILL Free Software License Agreement v2.1This repository is NOT MAINTAINED anymore. Please use the public github repository: https://github.com/idefix-code/idefix
Updated -
tima / sls / projects / Monarch
MIT LicenseUpdated -
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 -
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
-
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