Explore projects

Version en cours de développement du WS-PPSD

Web-based letter game created at the LIDILEM lab of Univ. Grenoble Alpes

Autonomous branch maintained by the game's creators

http://ulea-wiki.univ-grenoble-alpes.fr/_/Projets:MagicWord

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

Backend extending the capabilities of the VPL Moodle module

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

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.

Create a Python module for Debian 11 used at LEGI.

Cours d'introduction à la programmation, application au langage python

A version of CompCert with

extra optimization a backend for the Kalray KVX core

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

LaTeX templates used for scientific publications (slides, poster) at GIPSA-Lab