Explore projects
-
ASTRA4NC / Base Gcc
MIT LicenseUpdated -
Updated
-
Updated
-
The necessary components to run the decentralizepy framework on Grid5000
Updated -
Updated
-
-
Updated
-
Updated
-
BERTOT Yves / pcoq-save
OtherUpdated -
LIONTI Fabien / Manuscrit_these
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
Updated
-
TAMDRARI Nina / latex-template
BSD 3-Clause "New" or "Revised" LicenseUpdated -
TROPHIME Valentin / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
Graph cut F-Formations. Using GCO library by Olga Veksler Based on python interface by Yujia Li
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 -
poseidon / psyclone
BSD 3-Clause "New" or "Revised" LicenseA fork of the STFC PSyclone repository to collect our object-oriented patches for use in Poseidon.
Updated