Explore projects

GUS feet: generation of a performance model from a pipedream-compatible ISA

Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

Flocq (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.

Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed

A federated learning framework for empowering biomedical research

bibtex-sw-entry

Guide pratique prénom d'usage et civilité à Inria

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Various tools to run scientific computer experiments.

Collection of CMake modules that can be shared among projects

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).

Verifiable online voting system http://www.belenios.org

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)