A shared memory parallel sparse matrix library including Sparse BLAS.
*nix Sidereal Clock
Manual counter with the keyboard or the mouse on images
Interactive geometry software for Euclidean and non-Euclidean spaces
opbdp (non-linear) pseudo-Boolean optimization
Open Source and data mining software
Simple Long Integer Math for C++
Agent-based simulation toolkit
A powerful arbitrary-precision calculator.
A simple Clifford algebra calculator
Mixed Integer Linear Programming (MILP) solver.
A collection of machine-checkend mathematical proofs