Explore projects

Ce dépôt permettra la régalade permanente de le Gricad via M. Le E.

Formation Introduction au Deep Learning

This public project is dedicated to evaluate the efficiency of programming languages against one HPC use case (time vs energy)

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.

This project provides doi management tools developed at OSUG.

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.

Résif-DC2 : Metadata ingestion/distribution engine

Verimag's fork of CompCert

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

A starting point / playground for spherical shell MHD / geodynamo numerical experimentations in Julia.