OStatic

Object-Oriented Java Algorithms for math, linear algebra and optimisation.

muParser is a cross platform math parser library. It can be extended with user defined functions with an unlimited number of parameters, postfix-, inf...

Antiprism is a set of programs for generating, manipulating, transforming and visualising polyhedra.

Agda is a system for incrementally developing proofs and programs.

Tk-based standalone graphing system and extensible graphing library with a huge range of 2d modes (maybe 3d soon?) written in Python (Python/Tk are 10...

OCAMAWEB is a CWEB like literate programming tool written in the OCAML programming language. OCAMAWEB is actually intensively used at MIRIAD Technolog...

DOM library for Content MathML written in Python - based on PyXML or lxml

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair sch...

The Recursive Zonal Equal Area (EQ) Sphere Partitioning Toolbox is a suite of Matlab functions for partitioning and point distribution on multidimensi...

Software to fit whole-sentence language models using the principle of maximum entropy. For developers of speech recognizers, text prediction interfac...