About Project Gödel

Project Gödel is a collection of theoretical computer science problems, in the spirit of Project Euler.

Problems specify their computational model (for example, running distributed!) and various limits (like memory, query complexity, and so on).