Explore projects
-
Updated
-
PRUVOST Florent / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Updated
-
DE VRIES Sjoerd / crocodile
GNU General Public License v3.0 or laterUpdated -
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
Updated -
erable / TE_Long_Read
GNU General Public License v3.0 onlyUpdated -
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
-
BAZOUZI Aymen / PrecedabilityOER
MIT LicenseUpdated -
aevol / aevol
GNU General Public License v3.0 onlyUpdated -
-
Ocan Sankur / smt-switch
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Miscellaneous informations that might be of use for developers at Inria Saclay center.
Updated -
discovery / cheops
GNU Affero General Public License v3.0Generic service to manage geo-distributed resources
Updated -
-
Updated
-
sed-nge / fidgi
OtherFind Inventors and Discovery Game by Inria Unity "Game" in VR (oculus) for homo numericus exibition
Updated -
Serpico / atlas
GNU General Public License v3.0 or laterUpdated -
math-comp / docker-mathcomp
BSD 3-Clause "New" or "Revised" LicenseGitLab mirror of https://github.com/math-comp/docker-mathcomp
UpdatedUpdated