GitHub repository: DOMjudge/domjudge-scripts
Primary language: Python
Description: DOMjudge developer/maintainer helper scripts