Overview of KWARC projects on Github.