OStatic

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

CLISP is a portable ANSI Common Lisp implementation by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in Eng...

A free, industrial quality library for simulating articulated rigid body dynamics - for example ground vehicles, legged creatures, and moving objects ...

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin part...

FreeBasic Math library

In the tradition of Hilbert`s program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathem...

OpenFlower (FLOW solvER) is a C++ open source Linux CFD code mainly intended to solve the turbulent incompressible Navier-Stokes equations with a LES ...

surfit is a computer program which enables to recalculate scattered data to regular grid (gridding). surfit implements the original gridding method CM...

FlowDesigner is a free data flow development environment. It can be use to build complex applications by combining small, reusable building blocks. ...

MuPAD-Combinat is an open-source algebraic combinatorics package for the Computer Algebra System MuPAD.