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/

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

Program testing and verification

Verimag's fork of CompCert

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Un projet en C visant à remplacer la bibliothèque standard pour la gestion de la mémoire.

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

Binder with Extended Jupyter

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

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

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

Dépot commun pour l'ANF 2021 EcoInfo “Impact environnemental du numérique : comprendre et agir https://ecoinfo.cnrs.fr/2020/06/23/formation-2020-impact-environnemental-du-numerique-comprendre-et-agir/