Explore projects

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

Résif-DC2 : Metadata ingestion/distribution engine

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

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

Quick Exploration using Chisel Estimators

Benchmark of chisel based kernels for FPGA

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

SINGE is a solver for Spherical INertia-Gravity Eigenmodes, written in Python

Repo de documents généraux sur les sciences de l'éducation (Inspé-UGA)

Jupyter (Public) Empty Arm32 Repository (Démo)

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