Dafny is a verification-aware programming language

VMC: a Library for Verified Monte Carlo Algorithms

Build infrastructure for solvers to use with Dafny (and other Boogie clients)

VSCode IDE Integration for Dafny

Action for installing Dafny

The Dafny blog

Dafny request-for-feature discussions

Libraries useful for Dafny programs

A tool for analyzing and reporting on Dafny, especially the results of verification