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

Towards a lightweight ParaView alternative.

Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Speculative task-based runtime system

Python library for the reconstruction of 3D meshes from segmented shoot apical meristem (SAM) tissue images : Dual Reconstruction by Adjacency Complex Optimization (DRACO) and SAM Tissue Enhanced Mesh (STEM)

Dense linear algebra subroutines for heterogeneous and distributed architectures

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

MoReFEM core library.

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

MoReFEM core library.

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

Python library implementing data structures and algorithms for the representation and manipulation of cellular complexes.

RDFQuotient, development started in March 2018

Biocham-4 sources and CI