Explore projects
-
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
GAUTRON Romain / gym_dssat_pdi_project
BSD 3-Clause "New" or "Revised" LicenseAn OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
Updated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
BAUCHER Achille / pydynamo
The UnlicenseUpdated -
Updated
-
sed-saclay / Cppyy Kernel
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
OBSOLETE_Fed-BioMed / OBSOLETE_Fed-BioMed
Apache License 2.0Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed
A federated learning framework for empowering biomedical research
Updated -
-
-
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
CORSE / easytracker
Affero General Public License v1.0Updated -
REINKE Chris / Experiment Utils
GNU General Public License v3.0 or laterVarious tools to run scientific computer experiments.
Updated -
Collection of CMake modules that can be shared among projects
Updated -
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)
Updated