dtkCore provides fundamental tools to build modular platform.

Biocham-4 sources and CI

A set of commonly used widgets written using Qt5.

Towards a lightweight ParaView alternative.

RDFQuotient, development started in March 2018

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

PIPER application

Python Schedulers for Batsim

Toolkit to manage sets of closed intervals.

Documentation of the Grew software

Collection of CMake modules that can be shared among projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

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