Dense linear algebra subroutines for heterogeneous and distributed architectures

An LR(1) parser generator for OCaml.

Collection of CMake modules that can be shared among projects

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

Python Schedulers for Batsim

MoReFEM core library.

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

PIPER application

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

The OpenViBE extras: Acquisition Server, demos, plugin contributions

Git repo for https://www.grid5000.fr/w/BigData_hands-on_tutorial

RDFQuotient, development started in March 2018

Biocham-4 sources and CI

Documentation of the Grew software

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