Explore projects
-
-
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
BODIN Martin / logic-osm
CeCILL-C Free Software License AgreementUpdated -
Updated
-
Updated
-
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
RICHARD Robin / mendevi
GNU Affero General Public License v3.0Mesures d'Encodage et Décodage Vidéo
Updated -
Updated
-
Gazelle / Public / Core / Lang
Apache License 2.0Java language extensions and utilities used in Gazelle projects.
Updated -
-
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
-
NumPEx-PC5 / WP2 Co-design / Proxy-GEOS-HC
CeCILL Free Software License Agreement v1.0Updated -
pirat-public / Fos-R
GNU General Public License v3.0 or laterFos-R is a synthetic network traffic generator based on AI models. Can generate Gbps of high-quality network traffic on a laptop. No GPU required.
Updated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
Gazelle / Public / Framework / SSO Client
Apache License 2.0Library to auth users (OIDC) or machines (M2M) in Gazelle for application under JDK 21 (previously JDK17).
Updated -
Gazelle / Public / Framework / Framework
Apache License 2.0Series of modules useful to integrate any application in Gazelle Test Bed such as model validation tools, model serialization and metadata about services.
Updated