Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Collection of CMake modules that can be shared among projects

Parallel Sparse direct Solver

An LR(1) parser generator for OCaml.

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

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

Deep learning for Hyperspectral imagery.

PyTorch implementation of several state-of-the-art 3D CNN on multiple public hyperspectral datasets.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

Verifiable online voting system

This is the public project for Damaris. In this project the main line of source codes and the latest version of the documentation is stored.

Binding for grew access from Python

Test command-line applications through .should files

Biocham-4 sources and CI