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