FSI Informatik

https://fsi.cs.fau.de/ (old SVN repository with additional history available at https://fsi.cs.fau.de/svn/)

(see https://gitlab.cs.fau.de/fsi-inf/doc when creating new Git repositories for correct notification and CI support)