mypy-xml-score (pypi): Simple python script to convert the output of mypy's xml into a score that anybadge can use.
Keywords: mypy|anybadge|score|xml|xslt