GitLab

dtkCore provides fundamental tools to build modular platform.

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

Land Use Cover Change Models in Python

Adaptative Segmentation and Tracking of Embryonic Cells (developer version, python code only)

version 3 implementation of the Fed-BioMed project

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.

MRI segmentation using deep learning

Slides for a general formation about CI/CD in Inria context

git repository for arthur gontier's thesis

Time-Accurate Network Simulation Interconnecting Vms

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

Itauto: an Extensible Intuitionistic SAT Solver

A library to build experimental frameworks on multiple platforms

Dense linear algebra subroutines for heterogeneous and distributed architectures

Separation Logic with Characteristic Formulae Entirely within Coq