Explore projects

Windows Software - main files for package build - public repository

Self-stabilizing Algorithms SimulAtor

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

Lustre V6 compiler

Website: https://extrem-gs.gricad-pages.univ-grenoble-alpes.fr/school-num

Repository for the course "Advanced Numerical Methods" of the TMA Master (Turbulence, Methods and Applications) at UGA. Website: https://master-tma.gricad-pages.univ-grenoble-alpes.fr/num-methods-turb

Outils dédiés à la gestion des publications à l'OSUG

"En developppement"