Computer calculations made easy
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
Petri net framework for security related modeling and reasoning.
A Calculator to perform logical operations
jAgg - Java Aggregation Operations
Implementation of the GNFS for discrete logarithm problem in GF(p)
A collection of tools used in the enumeration of solution spaces
Editor for Petri nets
MathTools is an aid in preparing printed math tests.
Java graph library
Bit level lambda continuations and nothing else - Queue automata
A Free and Open Source Java Framework for Multiobjective Optimization
A printed document recognition system that can deal with formula
Calculate various aspects of the Kontinuum RPG system.