Delaunay triangulation and Voronoi diagram for Flash Builder 4 project
sparse and dense matrix, linear algebra, visualization, big data
Bit level lambda continuations and nothing else - Queue automata
Editor for Petri nets
Calculate various aspects of the Kontinuum RPG system.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Java toolkit for discrete Image and Signal processing.
Synchronous Petri Nets' emulator
Simple physics simulation of Curvilinear and Rectilinear Motions
Creates a data density plot of a 2 dimensional data distribution.
Calculator that takes care of measurement units.
DSOL: A Distributed Simulation Object Library implemented in Java
A Turing Machine Simulator
proof verifier for mathematical proofs and documentation generator
Module Computation for Metabolic Networks