UoR Computer Science GitLab

This is the new instance of GitLab, created in September 2025. The old instance (to add the url later) is being gradually decommissioned. If you have any repositories in the old instance please consider migrating them here.