Explore projects

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/

Verimag's fork of CompCert

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.

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

Backend extending the capabilities of the VPL Moodle module

Program testing and verification

Projet à cloner pour les étudiants réalisant le TP allocation mémoire

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Here the repository to provided a board to connect a Linky to LoraWan

Binder with Extended Jupyter

Machine à tracer similaire à la célèbre tortue logo.

Aquaponie est la pratique d’agriculture associant dans un même milieu la culture de végétaux et l’élevage de poissons en symbiose