Explore projects

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

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.

Icetrackpy documentation

Verimag's fork of CompCert

Nachos code for students

Basic functions for OCaml codes

Public dir for Thingsat

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/

Optimized hardware components for Xilinx 7-Series FPGAs

Tuto CI avancé - CI/CD pour un code de calcul