Open Source Solaris Mathematics Software

IT++ is a C++ library of mathematical, signal processing and communication classes and functions. Its main use is in simulation of communication systems and for performing research in the area of communications.

Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.

System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.

Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.

newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL

GeomSpace is interactive geometry software for different geometric spaces. You can build your own universe of any dimension and with any geometry. You can choose Euclidean, elliptic, hyperbolic, Galilean, Minkowskii, de Sitter among other spaces.

* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive Apache 2.0 license, useful for both open-source and proprietary (closed-source) software * Can be used for machine learning, pattern recognition, computer vision, signal processing, bioinformatics, statistics, finance, etc * Downloads: http://coot.sourceforge.io/download.html * Documentation: http://coot.sourceforge.io/docs.html * Bug reports: http://coot.sourceforge.io/faq.html * Git repo: https://gitlab.com/conradsnicta/bandicoot-code

The goal of Operation Project X is to crack the 2048-bit RSA private encryption key Microsoft uses to sign Xbox media, by using distributed computing. This key could be used by Xbox owners to run homebrew code on their machines.

CCOUNT is a free package for market research data cleaning, manipulation, cross tabulation and data analysis. Similar to, and uses the same syntax as, SPSS-MR Quantum, a well known commercial package for processing market research data.

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

Gaol: NOT Just Another Interval Library Gaol is a C++ library for interval arithmetic. It is supposed to be a fast and easy to use/modify library for anyone interested in assessing interval arithmetic merits or using it on a regular basis. WARNING: starting October 2016, the new location for GAOL is http://frederic.goualard.net/#research-software. Sourceforge and the Sourceforge Subversion repository will no longer be used.

This library is a Fortran 95 gnuplot interface for some Unix like OS'es. This provides some routines that enables direct access of a child gnuplot session from a Fortran 95 program. You will need a copy of fortranposix to make this work.

OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave.

Framework for blockstructured adaptive finite volume methods. Provides MPI-parallelized variant of the Berger-Oliger AMR algorithm for Beowulf-clusters. Uses Clawpack. Visualization and conversion tools for HDF4 files included.

Approximator is program for experimental data approximation and interpolation (20 dependencies for select). Graphical charts. Export to Gnumeric/OpenOffice Calc/Microsoft Excel. Multi-language interface.

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

BabyTALK is to add another brick in the wall of natural languages learning. The baby needs to structure a corpus of texts when his tutor points and talks about a particular part of the corpus. The baby is also to describe any selected part of the corpus.

Java/XML toolkit for research using Bayesian networks and other graphical models of probability (exact and approximate inference, structure learning, etc.)

Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).

Belle is a generic higher order theorem prover in the style of Isabelle.

bjsim is a blackjack simulator, designed to test various basic (noncounting, total, noncompositional) strategies under various conditions: number of decks, game rules (double after split, dealer hitting soft 17, etc.).

C++ BigInt class that enables the user to work with arbitrary precision integers. Latest Version: 10.3 (2019-03-06)

A tool written in C++ to generate very large Fibonacci numbers using the primary recursive formula: F(n) = F(n-1) + F(n-2) n > 1; F(1) = 1, F(0) = 0.

Electrical Impedance Tomography and Diffusion based Optical Tomography Reconstruction Software. Currently we have Matlab tool kit to solve the forward problem for EIT in 2D using FEM and iterative regulaized inverse solvers.