JFLAP
Java and Web based Algorithm Animation
Graphviz - Graph Visualization Software
Complexity Zoo
P vs. NP Explained (From MIT News)
A Collection of Links on Satisfiability (SAT)
GIMPS - Great Internet Mersenne Prime Search
Alan Turing Home Page