Explore projects

Windows Software - main files for package build - public repository

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.

shared documentations for Stoch Magnet (MOSICOF) project with S.Labbe & J.Lelong

Lustre V6 compiler

Storing custom guix packages

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

Storing custom guix packages + qe-gipaw

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).

Déploiement du webservice fdsn station dans K8S