Biocham-4 sources and CI

Dense linear algebra subroutines for heterogeneous and distributed architectures

N-body simulation using kernel independent Fast Multipole Method

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

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

Tools for computing Gröbner bases

Python Schedulers for Batsim

Generate finite element matrices in python

A framework to build experimental frameworks on various platforms

Network Coding + Gossip

PIPER application

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.

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