Explore projects

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.

Program testing and verification

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

Backend extending the capabilities of the VPL Moodle module

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

Public dir for Thingsat

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

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/

BIP compiler and execution engines.