GitLab der Philipps-Universität Marburg
Interested parties can even contribute by pushing commits if they want to.