Explore projects

Analysis tool for hybrid Petri nets with general transitions.

Grinder Web is a port of Grinder to run directly inside a browser.

Sccuot is a command-line tool to retrieve usage and resource information of an ownCloud 10 instance. It can be used to gather various statistics, like the quota used per user, and to create snapshots of these statistics.

Combined Animal Tracking & Environment Reconstruction

Detect 6 types of rearrangement events for protein domain arrangements and their fraction for a set of proteomes across a given phylogeny.

Public release of the implementation code for the paper "Oblivious Median Slope Selection".

Samples for PACXX

Benchmarks (Repo)

Moved to https://gitlab.dune-project.org/joe/sample-kernels