Scheduling lockages at ship locks with several parallel lock chambers
Interval Calculator for Engineer
sparse and dense matrix, linear algebra, visualization, big data
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
Timeseries databases management system
Java Api to manipulate simple on data of Matrix Type
Calculator that takes care of measurement units.
DSOL: A Distributed Simulation Object Library implemented in Java
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
Hand Written Equation Creator
A lqfb delegation analyser. A 3d directed weighted multi graph.
This small library implements a data structure for Koch curves.
A simple programmable spreadsheet for learning statistics.