Editor for Petri nets
A printed document recognition system that can deal with formula
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
A simple Belief Merging Prototype
Calculator that takes care of measurement units.
Simple physics simulation of Curvilinear and Rectilinear Motions
Software tool for Research in Computational Population Genetics
[frozen] A library for computing cycles in graphs or in Java code.
Cross platform Mathematical expression solver
DSOL: A Distributed Simulation Object Library implemented in Java
Komplexe Funktionen Plotter
proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator