Репозитории

Bitbucket logo
Большинство актуальных проектов живут на Bitbucket. Тут же есть материалы для докладов и результаты некоторых экспериментов.
GitHub logo
Некоторые наброски и форки живут на GitHub.
Google Code logo
Google Code закрыт. Остатки старых проектов жили там.