Explore projects

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

Verimag's fork of CompCert

E-GRAFS is a Nitrogen flow model aiming at building social metabolism of agriculture territory using classic statistic

Reflectivity method for fast generation of seismograms in the acoustic approximation

Implements sampling methods to some basic benchmarks, with a focus on FWI

Storing custom guix manifests to use with guix pack command

Neural Network Adequate hardWare Architectures for Quantization

The Portail OTE application is used for panelists recruitment for studies of Observatoire de la Transition Énergétique.