Explore projects

Storing custom guix packages

Ce projet vise à construire une liste de software de la recherche créés par les chercheurs de l'UGA. Il permet à la cellule CDGA de gérer ces listes en interne et n'a pas vocation à être partagé publiquement.

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).

HySoP (Hybrid Simulation with Particles) is a library dedicated to high performance direct numerical simulation of fluid related problems based on semi-lagrangian particle methods.

OJS customizations for the Mersenne workflow as a plugin

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