MathTools is an aid in preparing printed math tests.
Global nonlinear optimization with automatic differentiation
Implementation of the GNFS for discrete logarithm problem in GF(p)
Yamwi = Yet Another Maxima Web Interface.
Bit level lambda continuations and nothing else - Queue automata
Machine learning with Gaussian kernels.
Editor for Petri nets
Mad Science
A Free and Open Source Java Framework for Multiobjective Optimization
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.