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.
