Explore projects
-
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
verimag / synchrone / tools-distrib
The UnlicenseUpdated -
Updated
-
-
verimag / bip / compiler
CeCILL-B Free Software License AgreementBIP compiler and execution engines.
Updated -
Updated
-
SIMPA / SIMPA
Eclipse Public License 2.0Updated -
Elodie Morin / iot-analyzer
BSD 3-Clause "New" or "Revised" LicenseThis project contains the iot-analyzer used to compare different IoT technologies in the paper : [Comparison of the Device Lifetime in Wireless Networks for the Internet of Things]
Updated -
getalp / amorph
GNU General Public License v3.0 onlyThe amorph project hosts scripts to generate FSTs for the morphological analysis of French and English languages from dictionaries like DELA or LEFFF.
Updated -
OSUG / Pôle Numérique / osug-doi
GNU General Public License v3.0 onlyThis project provides doi management tools developed at OSUG.
Updated -
Updated
-
verimag / old-reproducible-research
MIT LicenseThe experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group
Updated -
Thomas Lavocat / yggdrasil-integration
GNU General Public License v3.0 onlyTests de non régression d'Yggdrasil
Updated -
Updated
-
PAGAI / PAGAI
CeCILL-B Free Software License AgreementPath Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Updated -
rheolef / rheolef
GNU General Public License v3.0 onlyUpdated -
casys / givaro
CeCILL-B Free Software License AgreementGivaro, a C++ library for computer algebra: exact arithmetic and data structures
Updated -
Updated
-
Updated