Judging backend server for the DMOJ online judge. - View it on GitHub