Newmat, a C++ matrix library, is intended for scientists and engineers who need to manipulate a variety of types of matrices using standard matrix operations. The library includes the operations *, +, -, concatenation, inverse, transpose, conversion between types, submatrix, determinant, Cholesky decomposition, QR triangularisation, singular value decomposition, eigenvalues of a symmetric matrix, sorting, fast Fourier and trig. transforms, printing, and an interface with Numerical Recipes in C.

Multi-body Gravity Simulator (MGS) allows you to perform a simulation based on a fixed time slice. Its unique features are the ability to perform realtime simulations, a three dimensional visualization of the simulation, and the ability to design simulations in XML and with a GUI. The accuracy of realtime simulations will depend on your machine speed. Fixed time step simulations are also supported.

n-ary Huffman Template Algorithm allows any kind of weights (costs, frequencies), including non-numerical ones. The {0, 1, ..., n-1} alphabet is used to encode messages. The built tree is an n-ary one. The algorithm is based on a set of template classes: Cell(SYMBOL, WEIGHT), Node(SYMBOL, WEIGHT), InternalNode (SYMBOL, WEIGHT), TerminalNode(SYMBOL, WEIGHT), BasicHuffmanTree(SYMBOL, WEIGHT, ARY), LoadedHuffmanTree(SYMBOL, WEIGHT, ARITY), and DriedHuffmanTree(WEIGHT, ARITY).

Turing Machine (C++ Implementation) is a Turing machine simulation that is defined by a series of input files. These include a metafile containing data related to some Turing machine, a states file containing a list of initial, halting, and internal states, an alphabet file of empty, input, and internal symbols, a transition file of transition rules, and input word files, which detail the input given on a tape.

Lambda is an interactive Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda expressions representing integers are automatically defined as needed. Many interesting combinators are provided in a definition file. Various settings are provided to influence the way reduction and extraction are performed (set). A short manual is provided showing how lambda works.

Frink is a calculating tool and programming language designed to help you in the real world. It tracks units of measurement throughout all calculations and ensures that answers are correct. It converts between systems of measurement, and has a huge library of physical data. It is both a simple calculator for quick calculations and a full-fledged programming language for large tasks. It draws high-quality graphics, handles conversions between time zones, currencies, and historical values of the U.S. dollar and the British pound, translates between several languages, does date/time math, and more.

reken is an command-line calculator based on a C coded expression evaluator. It can use user-defined functions and variables. Functions can be integrated (numerically) and differentiated (numerically). An input file can be used for complete calculations or to set up the command-line environment before use (things like PI and some standard functions can be set). Integrating is not fast and not very precise, but should suit hobby calculation needs.

CONSIDEO MODELER allows you to mindmap a complex problem, analyse it qualitatively to discover levers and bottlenecks, and even to simulate it by automatically building a system dynamics model. One can integrate any external data and setup a customized management cockpit for playing out scenarios. It is useful for organizational problems, project management, financial analysis, production processes, score cards, and much more.