github.com/dafny-lang/dafny (go): Dafny is a verification-aware programming language
Keywords: programming-language|verification