jAgg - Java Aggregation Operations
MathTools is an aid in preparing printed math tests.
Java graph library
Editor for Petri nets
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
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
HVAC Minimum Pipe Size Calculator