Explore projects

A monitor on open research data produced by Grenoble Alpes University

Public dir for Thingsat

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

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.

Storing custom guix packages

Verimag's fork of CompCert