Department Mathematik GitLab Server
Interested parties can even contribute by pushing commits if they want to.