GitHub repository: France-ioi/graderqueue
Primary language: PHP
Description: A queue that manages the grading of tasks on several servers.