Explore projects
-
Proxy-based Small inversions / Types 2025 artifact
CeCILL-B Free Software License AgreementUpdated -
CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 onlyUpdated -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
Updated
-
-
Tools facilitating the manipulation and loading of data from different sources and different domains.
Updated -
Updated
-
MecaIceIGE / Tools / lib_python / das_Ice
GNU Affero General Public License v3.0Updated -
LaTeX templates used for scientific publications (slides, poster) at GIPSA-Lab
Updated -
verimag / synchrone / tools-distrib
The UnlicenseUpdated -
caseine / moodle-mod_vpl
GNU General Public License v3.0 onlyVirtual programming lab (version caseine).
Updated -
Updated
-
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 -
OSUG / RESIF / fdsnnetextender
GNU General Public License v3.0 onlyUpdated -
Updated
