GitHub repository: mikeczech/PyVRank
Primary language: Python
Description: Python package for predicting rankings of software verification competitions