API for all possible cellular automata that work same at all angles
EDMFit is an adjustment tool to estimate EDM calibration parameters.
sparse and dense matrix, linear algebra, visualization, big data
A Calculator to perform logical operations
Java graph library
jAgg - Java Aggregation Operations
A collection of tools used in the enumeration of solution spaces
MathTools is an aid in preparing printed math tests.
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
A Free and Open Source Java Framework for Multiobjective Optimization
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