GitHub repository: Jankyboy/autograding-plugin
Description: Jenkins plugin that autogrades projects based on a configurable set of metrics.