dafny-lang/dafny

This is stars and forks stats for /dafny-lang/dafny repository. As of 23 Apr, 2024 this repository has 2477 stars and 236 forks.

Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Go, Python, Java, or JavaScript (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write...