GitHub repository: timbussmann/judge-server
Description: Judging backend server for the DMOJ online judge.