Explore projects
-
-
-
-
verimag / synchrone / rdbg
CeCILL Free Software License Agreement v2.1RDBG 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).
Updated -
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
Un projet en C visant à remplacer la bibliothèque standard pour la gestion de la mémoire.
Updated -
OSUG / Pôle Numérique / Espace Museo / daphne-web-server
BSD 3-Clause "New" or "Revised" LicenseUpdated -
verimag / synchrone / lustre-v6
CeCILL Free Software License Agreement v2.1Lustre V6 compiler
Updated -
verimag / synchrone / lutin
CeCILL Free Software License Agreement v2.1Updated -
Updated
-
Basic implementation of fixed point arithmetic functions in C/C++.
Updated