Algorithmic Solutions (formerly LEDA Library) -- a library of the data types and algorithms ( number types and linear algebra, basic data types, dictionaries, graphs, geometry, graphics).
Blackbox - a SAT Technology Planning System -- Blackbox is a planning system that works by converting problems specified in STRIPS notation into Boolean satisfiability problems, and then solving the problems with a variety of state-of-the-art satisfiability engines.
Complexity International -- journal for scientific papers dealing with any area of complex systems research.
Computability Theory -- Directory of researchers working in computability theory, and list of open problems.
ECCC - Electronic Colloquium on Computational Complexity -- The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity (ECCC) welcomes papers, short notes and surveys with relevance to the theory of computation.
Hypercomputation Research Network -- The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.
IEEE Conference on Computational Complexity -- This conference started as "Structure in Complexity Theory" in 1986. It recently acquired the new name "Conference on Computational Complexity", which was used for the first time in 1996. CTI, DePaul University, Chicago IL; 18--21 June 2001.
SAT Live! -- A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
Problem Solving Environments Home Page -- This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
SATLIB - The Satisfiability Library -- A collection of benchmark problems, solvers, and tools. One strong motivation for creating SATLIB is to provide a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.
Centre for Quantum Computation -- Based at Oxford University. Well designed site, with a large amount of information available.
D-Wave Systems, Inc. -- D-Wave Systems (dwavesys.com) is a portal to the state of the art in the design of quantum computers, operating systems, algorithms, hardware, superconductors, and quantum physics.
id Quantique -- Site Of id Quantique, Inc. Products include a quantum random number generator,and a quantum cryptography system.
MagicQ Technologies Inc. -- The home site of the first start up company devoted entirely to quantum computing. No patents or products to date, but of interest by virtue of being first off the block.
Quantum Architecture Research Center -- The home page of a team formed by Frederic Chong, Isaac Chuang, and John Kubiatowicz, the three top experimentalists in quantum computing.
Quantum Computer Emulator (QCE) -- A Windows based simulator of quantum computer hardware. Provides an environment to execute quantum algorithms under realistic experimental conditions.
Quantum Computing At The Max Plank Institute -- Provides an overview of quantum computer related research taking place at the Max Plank Institute. The primary focus is ion trap based computing. Selected reprints are available.