The Mobius verification environment supports the development of specifications, programs, and proofs of their security properties. It will support both source code and bytecode level verification, and be able to produce the output necessary for the generation of PCC certificates.
Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. The API is deliberately similar to Matlab's. Integer, floating point, and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Various matrix decompositions are provided through optional integration with LAPACK and ATLAS numerics libraries. A delayed evaluation approach, based on template meta-programming, is used (during compile time) to combine several operations into one and reduce or eliminate the need for temporaries.
dnAnalytics is a numerical library for the .NET Framework and Mono. The library is written in C# and is available as a fully managed library or with a wrapper around the Intel® Math Kernel Library (MKL). The MKL wrapped version provides significantly better performance when working with large data sets. dnAnalytics is compatible with .NET 2.0 or later and Mono. The managed version will run on Windows XP or newer and on any platform that supports Mono. The MKL wrapped version supports 32-bit and 64-bit versions of Windows XP or newer and 32-bit and 64-bit versions of Linux.
Mathnetics is an API for creating advanced, interactive, Web-based mathematical applications. It defines various important mathematical objects that are inter-related and on which many numerical calculations can be done. It also features rendering of 3D objects onto an SVG canvas (to do so, it includes certain utilities such as browser sniffing, DOM node selection, and DOM readiness detection), which is quite robust. A few basic 3D objects are given (Line, Sphere, Cube), but the user can define any 3D object desired as per the specification.
JAME is an application for creating fractals and other graphics artifacts. It is written in the Java language, with some native code to accelerate encoding of videos and images. It has a real-time, multi-threaded graphics engine with layers, filters, effects, a lot of formulas, and parameters. JAME supports operations such as continuous zoom of Mandelbrot and Julia sets, rotation, and color shifting. JAME has also advanced features such as networked computation and scripting. You can take photos of your fractals or record movies from your exploration paths. Photos and movies are stored in a database to be rendered in high resolution and exported to a file. JAME can be extended by plug-ins which provide fractals, formulas, filters, effects, and more.
Math::GSL is a Perl API to the GNU Scientific Library, which contains a large set of tools for writing scientific computing applications, like statistical distributions, special functions, random number generators, linear algebra, numeric integration/derivatives, FFTs, wavelets, and much more.