Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
Timeseries databases management system
DSOL: A Distributed Simulation Object Library implemented in Java
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
A lqfb delegation analyser. A 3d directed weighted multi graph.
Hand Written Equation Creator
This small library implements a data structure for Koch curves.
A simple programmable spreadsheet for learning statistics.
jHepWork was a name of the DataMelt program in 2005-20013
Visualize Galois sub-hierarchy of 2d matrix