Explore projects
-
Gabarits / LaTeX beamer 2024
BSD 3-Clause "New" or "Revised" LicenseGabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
-
-
CHAVANON Clement / pfcomp
MIT LicenseUpdated -
-
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 -
TAMDRARI Nina / latex-template
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Updated
-
Updated
-
coccinelle / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
-
Gabarits / LaTeX Inria fonts
BSD 3-Clause "New" or "Revised" LicensePaquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated -
-
OIDEli / OIDEli USENIX 2024 artifact
GNU Affero General Public License v3.0Updated -
-
-