Global nonlinear optimization with automatic differentiation
Yamwi = Yet Another Maxima Web Interface.
A Free and Open Source Java Framework for Multiobjective Optimization
Machine learning with Gaussian kernels.
Mad Science
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Java graph library
Petri net framework for security related modeling and reasoning.
Lattice-Algorithms in MAGMA
BinMatrix is a class to operating and storing binary matrices
Travel Market Simulator
Tinger Calc is a powerful scientific calculator environment.
Rendering of 2D and 3D Celtic Knots