Explore projects
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Updated
-
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
BENZEKRY Sebastien / metamats.burden.treatment
GNU General Public License v3.0 or laterUpdated -
Containerized documentation of customer environments
Updated -
-
Updated
-
Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups
Updated -
Présentation des commandes « guix time-machine » et « guix describe » le 28 mai 2024
Updated -
Slides for a general formation about CI/CD in Inria context
Updated -
Les formulaires de demande d'ingénieur (ADT et affectations SED) pour le centre de Saclay
Updated -
Updated
-
-
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Updated -
bureaux / plan
GNU General Public License v3.0 or laterUpdated -