A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Editor for Petri nets
Petri net framework for security related modeling and reasoning.
A printed document recognition system that can deal with formula
Calculate various aspects of the Kontinuum RPG system.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
Java toolkit for discrete Image and Signal processing.
A simple Belief Merging Prototype
Imports bibtex references from MathSciNet
A geometry library for Java
Calculator that takes care of measurement units.
Android API for discrete Image and Signal processing.
Timeseries databases management system