Explore projects
-
verimag / synchrone / mia
CeCILL Free Software License Agreement v2.1Updated -
gricad / Cellule Data Grenoble Alpes / Scripts
GNU General Public License v3.0 or laterUpdated -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
OSUG / JMMC / jmmc-srv-infra
GNU General Public License v3.0 onlyUpdated -
Cyrille Bonamy / ecoinfo_ANF
Affero General Public License v1.0Updated -
Updated
-
Yalep / Yalep
GNU General Public License v3.0 or laterYalep is a micro language based on Lean for teaching mathematical high-school proofs
Updated -
LabNBook / LabNBook-code
GNU Affero General Public License v3.0Updated -
Maxence Larrieu / Open Research Software Monitor
GNU General Public License v3.0 or laterA monitor on public software hosted on the Gitlab-Gricad forge. #alpha_version
Updated -
rheolef / rheolef
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
Sprint project dedicated to setup a Web interface to feed collaborativelly the JMDC http://www.jmmc.fr/catalogue_jmdc.htm
Updated -
World3 / Pydynamo
The UnlicenseUpdated -
Updated
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
