Explore projects

Analysis tool for hybrid Petri nets with general transitions.

Combined Animal Tracking & Environment Reconstruction

Grinder is a tool for labeling images. It can be used to label ground truth images that can then be fed into any machine learning algorithm that requires labeled training data.

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.

Samples for PACXX

Ligneul et al. (2022) 'Stress-sensitive inference of task controllability'

A fast domain annotation program.