TwitterScope a visual search system that streams, stores, clusters and visualizes tweets related to any keywords (the public version only tracks a set number of keywords)
FindMinimum a function for nonlinear constrained optimization using nonlinear interior point method, Mathematica.
LinearProgramming a function for large scale linear programming problems using interior point method, Mathematica.
FCAT -- a tool for the coverage analysis of FORTRAN.
MONET -- a software which orders a unsymmetric into (single) bordered block diagonal matrix.
JASPA -- how does Java perform compared with C and F90?