Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Calculate various aspects of the Kontinuum RPG system.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Java toolkit for discrete Image and Signal processing.
A geometry library for Java
Timeseries databases management system
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.
Java Api to manipulate simple on data of Matrix Type
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data