Explore projects
-
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check and print skeletal semantics)
Updated -
resist / LLM-CVX Benchmarking Framework
MIT LicenseUpdated -
-
-
Updated
-
Updated
-
Updated
-
Théophile BASTIAN / PhD defense slides
Creative Commons Attribution Share Alike 4.0 InternationalThis repository is a one-time import from https://git.tobast.fr/tobast/phd-defense; for archival purposes.
Updated -
Léo Cosseron / Bmc Cache
GNU Lesser General Public License v2.1 onlyUpdated -
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 -
A fork of MATISSE's thesis template
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 -
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -
« Pourquoi ces avions font-ils autant de bruit ? » ou quand le calcul haute-performance s'invite en aéroacoustique
UpdatedUpdated -
Updated
-
CORSE / Compilers Tracking
The UnlicenseUpdated -
Updated
-
Updated
-
Updated
-
Updated
