GitHub repository: uni-passau-artemis/pipeline-helper
Primary language: Java
Description: Ports of checkers formerly used in Praktomat for easy integration into the Artemis testing workflow