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

Backend extending the capabilities of the VPL Moodle module

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

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

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

Version en cours de développement du WS-PPSD

Plateforme et sites mathdoc

Git training documents. Principal author: Matthieu Moy Advanced parts authors: Sylvain Bouveret and Mounié Grégory

Le «Guide» d'introduction à UNIX: livre PDF et site web pour les TP d''introduction à l'environnement de travail sous UNIX de l'Ensimag.

Quick Exploration using Chisel Estimators

Benchmark of chisel based kernels for FPGA