The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
CMATLIB is set of libraries for writing numerical applicatons. It
includes support for neural-networks, hidden Markov models, kd-trees,
and data smoothing. It may be used from C and Scheme programs.