Explore projects
-
Benjamin Bonneau / myrocqlib
MIT LicenseUpdated -
-
Polytech / INFO / INFO3 / SE-TP / TP-Carte-etu
BSD 3-Clause "New" or "Revised" LicenseUpdated -
legi / soft / trokata / winsoft-main
MIT LicenseWindows Software - main files for package build - public repository
Updated -
verimag / synchrone / sasa
CeCILL Free Software License Agreement v2.1Self-stabilizing Algorithms SimulAtor
Updated -
Website master TMA (hosted at https://master-tma.gricad-pages.univ-grenoble-alpes.fr/)
Updated -
Updated
-
-
Updated
-
Git training documents. Principal author: Matthieu Moy Advanced parts authors: Sylvain Bouveret and Mounié Grégory
Updated -
Babylab LPNC / Felyx
GNU General Public License v3.0 or laterUpdated -
-
Updated
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
Updated
-
Exa-Atow / Alumet
European Union Public License 1.2Updated -
Proxy-based Small inversions / Types 2025 artifact
CeCILL-B Free Software License AgreementUpdated -
Updated