Program to generate permutations and combinations
Specification for interoperability of JavaScript algebraic structures
TI graphing calculators <-> computer communication software
Massively Parallel Graph processing on GPUs -- now part of Blazegraph
General purpose norm-1 minimization solver in Python
Software for exact computing based on interval arithmetic.
proof verifier for mathematical proofs and documentation generator
A compliation of Physics derived claculators
Visualize Galois sub-hierarchy of 2d matrix