GitHub repository: lanqiao-dev/judge-server
Primary language: Python
Description: Judging backend server for the DMOJ online judge.