Abstract State Machines: - A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
ACM SIGACT: - Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for Theoretical Computer Science. Site has membership information, meetings, reports and a newsletter for members.
The Algorithm Base: The Algorithm Base, a collection of algorithm descriptions in natural language, pseudo-cod. Algorithm-descriptions, search-algorithms, Sorting-algorithms, other algorithms
Algorithm Design Paradigms: - A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.
Algorithms Archive: - A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.
Algorithms Courses: - Links to courses in algorithms maintained at various university computer science departments.
Analysis Of Algorithms: Home page of Analysis of Algorithms,
with links to research in analysis of algorithms, pe. algorithms, data structures, analysis
of algorithms,
analytic combinatorics
Design and Analysis of Computer Algorithms: - Lecture notes; applets and code in C, C++, and Java; links regarding books, journals, computability, quantum computing, societies and organizations.
Dictionary of Algorithms, Data Structures, and Problems: - A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.
Introduction to Quantum Algorithms: - A introduction to quantum algorithms by Matthew Hayward for those new to the field and who do not have a physics background.
On the Road to Algorithms: - Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Perl. Collected by Lam Ka Chun (Raymond).
Stony Brook Algorithm Repository: - This is a collection of implementations for 75 fundamental algorithms problems, including data structures, numerical and combinatorial algorithms,graph algorithms, and computational geometry. Implementations are available in C++, Java, Fortran, and other languages.