GitLab Community Edition

This GitLab instance is run by the working group Programming Languages and Compiler Construction (Prof. Dr. Michael Hanus, Department of Computer Science, Kiel University).

Note for members of staff / associated students: People with a working group LDAP account, please use your LDAP login method.

Note for other students: Either ask a member of staff for an LDAP account on our workgroup servers, or sign-up to this GitLab site via the New User? Create an account dialog box on the right. Please use an email address provided by CAU Kiel (<user>@[<subdomain>.]uni-kiel.de) when signing-up.

Note for non-CAU Kiel people: Collaborators not directly associated to Kiel University, please apply for an account via email. Thank you.