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