Explore projects

Virtual programming lab (version caseine).

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

Reflectivity method for fast generation of seismograms in the acoustic approximation

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