Explore projects

https://elan.gricad-pages.univ-grenoble-alpes.fr/translatoscope/

Lustre V6 compiler

WalT - Wireless Testbed

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

https://ithac.elan-numerique.fr/

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).