Explore projects
-
Updated
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
Benjamin Bonneau / smonad
MIT LicenseUpdated -
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 -
CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 onlyUpdated -
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
verimag / synchrone / lustre-v6
CeCILL Free Software License Agreement v2.1Lustre V6 compiler
Updated -
verimag / synchrone / lutin
CeCILL Free Software License Agreement v2.1Updated