Explore projects

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

Self-stabilizing Algorithms SimulAtor

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

Windows Software - main files for package build - public repository

Embedded FPGA bitstream generation for Zynq-7000 boards

Automated Debian packages download, modification and upload to a local Reprepro repository

Website: https://extrem-gs.gricad-pages.univ-grenoble-alpes.fr/school-num

Datasets to use with nnawaq repository

Create a Python module for Debian 11 used at LEGI.