Generate finite element matrices in python

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

Dense linear algebra subroutines for heterogeneous and distributed architectures

Collection of CMake modules that can be shared among projects

Parallel Sparse direct Solver

Documentation of the Grew software

Toolkit to manage sets of closed intervals.

An LR(1) parser generator for OCaml.

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.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

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

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

Test command-line applications through .should files

Comparison of metabolic networks.

Biocham-4 sources and CI

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

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