GitHub repository: jubin-park/JOTA-dmoj-judge-server
Description: Judging backend server for the DMOJ online judge.