GitHub repository: KWARC/localmh
Primary language: Python
Description: A cross-repository administration tool for the local authoring in MathHub.info