Explore projects

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.

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

Unofficial Beamer template based on Inria color palette

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.

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

Collection of CMake modules that can be shared among projects

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

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

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

A federated learning framework for empowering biomedical research

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)

python client for sharelatex and a tool to manage a project between git and the web UI.

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/

E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.