Petri net framework for security related modeling and reasoning.
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
NURBS-based elastic and limit analysis of masonry arches in MATLAB
Calculate various aspects of the Kontinuum RPG system.
Log-linear analysis (data modelling) for high-dimensional data
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Java toolkit for discrete Image and Signal processing.
An image processing and analysis library for Matlab
A geometry library for Java
Calculator that takes care of measurement units.
A Python computer vision library
[frozen] A library for computing cycles in graphs or in Java code.
Simple physics simulation of Curvilinear and Rectilinear Motions
Software tool for Research in Computational Population Genetics