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.

XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/

This repository contains all source files, published documents, and example programs for Siconos software.

Spherical Harmonic Transform library aimed at high performance numerical simulations in spherical geometries. It is very fast.

Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.

A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)

Public dir for Thingsat

Verimag's fork of CompCert

Binder with Extended Jupyter

Decision Making Repo

ABB IRB 14000 YuMi Motion Module

Binder with Extended Jupyter