Judging backend server for the DMOJ online judge.
A modern open-source online judge and contest platform system.
