Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Python Schedulers for Batsim

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

PIPER application

dtk is a meta-platform for modular scientific platform development.

Generate finite element matrices in python

Network Coding + Gossip

KNOT: Knowledge Network Overlap exTraction is a tool for the investigation of fragmented long read assemblies.

Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.

Tools for computing Gröbner bases

A framework to build experimental frameworks on various platforms

Biocham-4 sources and CI