OStatic

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

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

Agda is a system for incrementally developing proofs and programs.

An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.

JVClifford is composed of Java/Java3D packages and executables jars that provide for Clifford element definition, Geometric Algebra operations and geo...

Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra sol...

Random number generator, and random number seed generator classes for C++. Includes abstract base classes and derived generators. Cross platform com...