8 Results for all

Can't find a software application?

Submit it to OStatic

ojalgo

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

antiprism

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

agda

Agda is a system for incrementally developing proofs and programs.

contfrac

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

jvclifford

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

mathmo

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

pdaa

Push Down Automata Animator is a software program developed in C# to model the operation of deterministic and non-deterministic push down automata.

random-base

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