Explore projects

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

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

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

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

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.

User documentation of Inria's Continuous Integration services

MoReFEM core library.

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

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

Collection of CMake modules that can be shared among projects

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

A federated learning framework for empowering biomedical research

Unofficial Beamer template based on Inria color palette

PM2: Parallel Multithread Machine (source code)

Newton direct and Inverse Computation for Equilibrium

Doxygen doc https://blfauger.gitlabpages.inria.fr/nice

Demo : https://learninglab.gitlabpages.inria.fr/mooc-styleguide/

A project providing digital recognition of handwritten documents using machine learning techniques.