http://www.nist.gov/dads/
A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.
http://www.eecs.umich.edu/gasm/
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Algorithms (2)