Petri net framework for security related modeling and reasoning.
A Free and Open Source Java Framework for Multiobjective Optimization
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
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
Android API for discrete Image and Signal processing.
Timeseries databases management system
Calculator that takes care of measurement units.
Simple physics simulation of Curvilinear and Rectilinear Motions