Explore projects

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

Windows Software - main files for package build - public repository

Repo part of the geoinquire project on referencing insar data with gnss

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).

shared documentations for Stoch Magnet (MOSICOF) project with S.Labbe & J.Lelong

Lustre v4 distribution

Repo des présentations du groupe