Explore projects
-
Updated
-
Dépôt pour les JRES 2021 ayant lieu à Marseille en mai 2022
Updated -
Updated
-
Updated
-
Julien Labbé / LaTeX packages
LaTeX Project Public License v1.3cLaTeX packages and other utilities.
Updated -
Website master TMA (hosted at https://master-tma.gricad-pages.univ-grenoble-alpes.fr/)
Updated -
-
Updated
-
Yliès Falcone / DecentMon
GNU General Public License v2.0 or laterDecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
-
-
Modèles statistiques et Programmation Lettrée Licence MIAGE3 2018-2019
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 -
Updated
-
legi / soft / trokata / backuppc-silzigan
GNU General Public License v2.0 or laterDécouper la sauvegarde de postes informatiques en petits morceaux
Updated -
Updated
-
Modèles statistiques et Programmation Lettrée Licence MIAGE3 2018-2019
Updated -
Elan Littératures et Arts Numériques / CESAR
GNU General Public License v3.0 or laterCalendrier électronique des spectacles sous l’Ancien Régime et la Révolution
Updated