Explore projects

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group

Lustre V6 compiler

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

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