Software Map

Draco is an econometrics and statistics package
written with ease of use in mind. The software
offers a variety of regressions for econometric
analysis, and data is presented in a familiar,
spreadsheet-like interface. Draco features data
plotting and manipulation as well. It
interoperates with common open source formats,
including OpenDocument spreadsheets and Scalable
Vector Graphics.

UDAV is a cross-platform program for data array visualization based on the MathGL library. It supports a wide spectrum of graphics, simple script language, and visual data handling and editing. It has a windowed interface for data viewing, changing, and plotting. It can execute MGL scripts, set up and rotate graphics, export to bitmap or vector (EPS or SVG) files, draw TeX-like formulas, and so on.

BoolStuff is a small C++ library that computes the Disjunctive Normal Form of a boolean expression binary tree. The library also has a C programming interface.

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

SalStat is an small application for the
statistical analysis of scientific data (with a
special concentration on psychology). It is a bit
like SPSS and StatView, and it is written in
Python/wxPython.

MLPACK is a C++ machine learning library with an emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and maximum flexibility for expert users. It contains algorithms such as k-means, Gaussian mixture models, hidden Markov models, density estimation trees, kernel PCA, locality-sensitive hashing, sparse coding, linear regression and least-angle regression.

Calculating Pi is a project for the calculation of the mathematical constant Pi through various methods. Mathematicians and programmers are encouraged to contribute ideas or code for this project.

Accord.NET provides statistical analysis, machine learning, image processing, and computer vision methods for .NET applications. The Accord.NET Framework extends the popular AForge.NET with new features, adding to a more complete environment for scientific computing in .NET.

TaDaPro (Tabular Data Processor) is a command-line
utility to operate with numerical column tabulated
data. It is intended for operations that are
cumbersome to do by hand in a spreadsheet and for
transformations that have to be applied as a batch
process on many files.

Gerris can solve the time-dependent Euler, Stokes, and
Navier-Stokes equations of fluid motion. The domain
geometry can be arbitrarily complex. An octree mesh is
used. Mesh generation is entirely automatic. The code is
adaptive: the local resolution is automatically and
continuously adapted to the computed solution.

jfftw3 provides JNI access to FFTW, an open source
C library for the computation of discrete Fourier
transforms. jfftw3 consists of a thin native
wrapper for the FFTW 3.2 library. The wrapping
covers FFTW's memory allocation, basic planner
interface, and wisdom handling. The native wrapper
is designed to support automatic JNI generation by
gluegen into a useful Java API providing the
original procedural FFTW interface.