Explore projects

Projet à cloner pour les étudiants réalisant le TP allocation mémoire

Basic functions for OCaml codes

see https://gates-data-shs.gricad-pages.univ-grenoble-alpes.fr/blog

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

This project is aiming at handling an utility package for importing CMIP6 data in a jupyter notebook.

This project is meant to make the veri-gitlabrun runner available to Verimag members.

To be able to use it, you just need to (1) subscribe to this project; (2) asks to one of the project owner to assign you the master status