Petri net framework for security related modeling and reasoning.
Java graph library
BinMatrix is a class to operating and storing binary matrices
Travel Market Simulator
Tinger Calc is a powerful scientific calculator environment.
Lattice-Algorithms in MAGMA
Differential Expression Analysis for Pathways
python2/3: compute polyfit (1D, 2D, N-D) without thirdparty libraries
A re-implementation of cl-jointgen in C
Rendering of 2D and 3D Celtic Knots
A printed document recognition system that can deal with formula
Computer calculations made easy
A command line toolki to solve a problem your favorite program defines