MIT Project on Mathematics and Computation
Homepage: http://groups.csail.mit.edu/mac/projects/mac/
"Neutral, but heavily armed"