Google's software suite for combinatorial optimization
opbdp (non-linear) pseudo-Boolean optimization
Simple Long Integer Math for C++
Efficiently locate minumum of function of non-negative integer
integer implementation for float in c++.
Arithmetic Multlple Precision Computation Library
GILIB Large Integer Arithmetic Library
Software for automated astrometry
Timeseries databases management system
Fixed-length Arithmetic-types library
Solve linear programming problems
A primality/compositeness tester for different types of numbers.
A basic prime number sieve/tester.