Explore projects
-
Yalep is a micro language based on Lean for teaching mathematical high-school proofs
Updated -
Updated
-
Updated
-
Updated
-
-
A monitor on open research data produced by Grenoble Alpes University
Updated -
Updated
-
-
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.
Updated -
-
Updated
-
Updated
-
Updated
-
A monitor on public software hosted on the Gitlab-Gricad forge. #alpha_version
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
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/
Updated