GitHub repository: Dargones/dafny-reportgenerator
Description: A tool for analyzing and reporting on Dafny, especially the results of verification