Explore projects

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

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/

Édition numérique des œuvres morales de François de Grenaille https://elan.gricad-pages.univ-grenoble-alpes.fr/polygrenaille/

Edition numérique de la Chronique française de Guillaume Cretin - https://crenum.elan-numerique.fr/

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

Neural Network Adequate hardWare Architectures for Quantization

Neural Network Adequate hardWare Architectures for Quantization

Common resources + wiki + Gaia meetings