OStatic

JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network.

TMVA is a ROOT-integrated toolkit for parallel multivariate data analysis. In factory mode TMVA performs the training, testing and performance evaluat...

A multi-platform collection of C++ software libraries for Computer Vision and Image Understanding.

PySparse - A Sparse Matrix Library for Python

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

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathemat...

Aims of this Project are 1. Integrating various Vision, Machine learning library based on OpenCV. 2. Providing various function based on the integrate...

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prov...

An easy to use mathematical function graph plotter written in Python and GTK.

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant