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

The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).

Self-stabilizing Algorithms SimulAtor

Reproduce experiments done in sasa related articles

A tool for generating random task DAGs

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

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