aiken11

Pop	71.77
Vit	8.25

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Pop	50.34
Vit	2.14

Addjob lets you distribute jobs over a network. You just run "addjob-server", and then submit jobs like "addjob gcc -c foo.c". You can still interact with your program via the command line, and exit-codes are preserved, so it integrates well with Makefiles.