The KWARC Archive
This GitLab Instance contains the research repositories of the KWARC Research Group of the Professorship for Knowledge Representation and Processing at FAU Erlangen-Nürnberg (previously at Jacobs University).
We use them mainly for papers, project proposals, and private development repositories (some repositories may even be public).
Most of our software development and specifications are on GitHub under the KWARC Software Hub.