Explore projects

Verimag's fork of CompCert

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

A monitor on public software hosted on the Gitlab-Gricad forge. #alpha_version

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.

Teaching material for simulating the behavior of a set of households involved in a community and trying to increase their self-consumption and their self-sufficiency

Les Librairies Kicad (très) simplifiés utilisées en BE pour faciliter la vie des étudiants.

Catalogue of entry-level notebooks for the training of medical professionals

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

Transform mesoNH net4CDF files into VTK files

Notebook to plot vertical and z-level constant slices from MesoNH net4CDF data