Explore projects
-
Benjamin Bonneau / smonad
MIT LicenseUpdated -
Benjamin Bonneau / myrocqlib
MIT LicenseUpdated -
Updated
-
Mathdoc / ptfs / ptf-site-ahl
GNU Affero General Public License v3.0Updated -
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 -
Updated
-
Updated
-
moodle-plugins / moodle-qbehaviour_certaintywithstudentfbdeferred
GNU General Public License v3.0 onlyUpdated -
moodle-plugins / moodle-report_certaintyquizzes
GNU General Public License v3.0 onlyUpdated -
nonsmooth / guix / siconos
Apache License 2.0Updated -
Mathdoc / ptfs / ptf-app-cras
GNU Affero General Public License v3.0Updated -
Updated
-
Updated
-
Storing custom guix manifests to use with guix pack command
Updated -
-
Updated
-
Updated