An OCaml library that provides facilities for memoization and fixed points.

Verifiable online voting system http://www.belenios.org

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

Biocham-4 sources and CI

Comparison of metabolic networks.

Test command-line applications through .should files

Pahtway-Tools multiprocessing script (for PathoLogic and Biopax/dat creation).

Quotient summary, version of 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

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.

Toolkit to manage sets of closed intervals.

Documentation of the Grew software

Post-mortem analysis tool for StarPU scheduling studies

Parallel Sparse direct Solver

Collection of CMake modules that can be shared among projects