Repos

Codebases behind research, teaching, and practical tools.

A curated view of maintained GitHub repositories, combining project context, recent activity, and language composition in one scan-friendly page.

GitHub organisation

Repository list

Repositories

Metadata is refreshed hourly from GitHub. Repositories that are private or temporarily unavailable are left out of the live list.

GitHub data is temporarily unavailable. Please try again later.