Dense linear algebra subroutines for heterogeneous and distributed architectures

An LR(1) parser generator for OCaml.

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

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

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.

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.

Metagrammar of Middle and Old French

A framework to build experimental frameworks on various platforms

Biocham-4 sources and CI

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

command line interface to the Grew library

A GUI for biseau

Helper classes written over Qt5 for beautiful user interfaces.

Towards a lightweight ParaView alternative.