MathMod is mathematical software for visualizing and animating parametric and implicit surfaces. It is an extension/rewrite of the K3DSurf project. It supports 3D/4D plotting and animation, a scripting language, a JSON file format with a large set of scripted examples, and an OBJ output file of the 3D mesh.

The Graphical Models Toolkit (GMTK) is a toolkit for rapidly prototyping statistical models using dynamic graphical models (DGMs) and dynamic Bayesian networks (DBNs). It can be used for speech and language processing, bioinformatics, activity recognition, and any time series application. It features exact and approximate inference, many built-in factors including dense, sparse, and deterministic conditional probability tables, native support for ARPA backoff-based factors and factored language models, parameter sharing, gamma and beta distributions, dense and sparse Gaussian factors, heterogeneous mixtures, deep neural network factors, and time-inhomogeneous trellis factors, arbitrary order embedded Markov chains, a GUI graph viewer, and much more.

GTKMathplot is an interactive plotting program based on GTK+ and the Cairo graphics library. It can display bidimensional curves, tridimensional curves, and surfaces from Cartesian or parametric equations describing the mathematical objects you would like to visualize. It is designed to be intuitive for high school students with good mathematical knowledge. University students of engineering, physics, mathematics, or natural sciences should need no explanation at all to start using it proficiently.

QMentat helps you practice mental arithmetic. It uses arbitrary-length fixed point arithmetic, and can handle any size numbers, only limited by the size of your screen (and in the case of division with an integer result, the speed at which the number can be factored). It is also quite configurable, allowing you to tailor the questions to your needs.

SCaVis is an environment for scientific computation, data analysis, and data visualization designed for scientists, engineers, and students. The program can be used for function and data plotting in 2D and 3D, histograms, statistical analysis, and symbolic calculations using the Matlab/Octave high-level interpreted language.

LifeV is a finite element (FE) library providing implementations of state of the art mathematical and numerical methods. It serves both as a research and production library. It has already been used in medical and industrial contexts to simulate fluid structure interaction and mass transport. LifeV is the joint collaboration between four institutions: École Polytechnique Fédérale de Lausanne (CMCS) in Switzerland, Politecnico di Milano (MOX) in Italy, INRIA (REO, ESTIME) in France, and Emory University (Sc. Comp) in the U.S.A.

A library for manipulating sets and relations of integer points bounded by linear constraints.