Explore projects
-
TAMDRARI Nina / latex-template
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
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 -
Updated
-
Lifeware / ModRef24
LaTeX Project Public License v1.3cUpdated -
OIDEli / OIDEli USENIX 2024 artifact
GNU Affero General Public License v3.0Updated -
Updated
-
Présentation des commandes « guix time-machine » et « guix describe » le 28 mai 2024
Updated -
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 -
-
Updated
-
bureaux / plan
GNU General Public License v3.0 or laterUpdated -
BENZEKRY Sebastien / metamats.burden.treatment
GNU General Public License v3.0 or laterUpdated -
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated -
ARRIVAULT Denis / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Philippe Virouleau / guix-cafe-packager
GNU General Public License v3.0 or laterUpdated