| The compendium of Weihrauch-degrees:
Computable analysis  studies computability on real numbers, closed subsets of Hilbert spaces, probability measures and many more structures. Various problems turn out to be uncomputable. Just as Turing-reducibility is used to compare uncomputability of functions on the natural numbers, Weihrauch-reducibility  is used here. Unlike Turing-degrees, there are actually many natural and interesting Weihrauch-degrees - and we continue to identify more.
The aim of the project is design and implement and online compendium for Weihrauch-degrees. With a database of degrees of interest as background, the compendium should be able to visually display the degree structure. Transitivity should be used to automatically combine reductions and separations results. Finally, there are some operations on Weihrauch-degrees (think Turing jump) which should be considered.
Prior knowledge of a programming language suitable for web applications (Perl, Python, or maybe Java) would be useful. A certain interest in computability theory is required, but learning about Weihrauch-reducibility can easily be done as a (small) part of the project.
If you would like to learn more about this project suggestion, please contact me (Arno.Pauly@cl.cam.ac.uk).
 K. Weihrauch: Computable Analysis, Springer 2000.
 V. Brattka, M. de Brecht and A Pauly: "Closed Choice and a Uniform Low Basis Theorem", arXiv:1002.2800, 2010