Explore projects
-
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
TheoryPheliqs / Tensoratu
Apache License 2.0Updated -
Benjamin Bonneau / myrocqlib
MIT LicenseUpdated -
Updated
-
verimag / synchrone / lustre-V4-XX
CeCILL Free Software License Agreement v2.1Lustre v4 distribution
Updated -
nonsmooth / siconos-tutorials
Apache License 2.0This repository contains all source files, published documents, and example programs for Siconos software.
Updated -
LabNBook / LabNBook-code
GNU Affero General Public License v3.0Updated -
The Portail OTE application is used for panelists recruitment for studies of Observatoire de la Transition Énergétique.
Updated -
legi / soft / trokata / winsoft-main
MIT LicenseWindows Software - main files for package build - public repository
Updated -
Mathdoc / ptfs / ptf-vuejs
GNU Affero General Public License v3.0Updated -
Pages web statiques d'accueil quand on visite http://ws.resif.fr
Contient la liste et description des webservices.
Updated -
OSUG / RESIF / Sigma
GNU Affero General Public License v3.0Updated -
