Dense linear algebra subroutines for heterogeneous and distributed architectures

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

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

Sources of the Abstract Categorial Development toolkit.

A program in charge of managing one Batsim simulation.

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

SParse Matrix Package

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.

Biocham-4 sources and CI

An LR(1) parser generator for OCaml.

Parallel Sparse direct Solver

Test command-line applications through .should files

A version of TsunamiLab running on cluster-driven wall displays.

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

Collection of CMake modules that can be shared among projects

Browsing Linked Data Catalogs