Tools for computing Gröbner bases

A framework to build experimental frameworks on various platforms

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.

Biocham-4 sources and CI

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

Network Coding + Gossip

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

PIPER application

N-body simulation using kernel independent Fast Multipole Method

Python Schedulers for Batsim

Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Generate finite element matrices in python