SOFA plugin to track the surface of non-rigid objects using RGB-D camera.

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

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

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Simple experimental campaign workflow

A library to build experimental frameworks on various platforms

Fork de https://github.com/Inria-Asclepios/medInria-public

Hardware split of MPI communicators

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

TRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation

This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us

Spack package to install Pufferbench

Parallel Sparse direct Solver

Dense linear algebra subroutines for heterogeneous and distributed architectures

Ocaml library for grew