GitHub repository: robin-aws/dafny.msbuild
Primary language: C#
Description: MSBuild tasks for use in projects containing Dafny source code