dafny0           Use    Dafny functionality tests
dafny1           Use    Various Dafny examples
dafny2           Use    More Dafny examples
dafny3           Use    And more Dafny examples
dafny4           Use    More, more, more!
cloudmake        Use    CloudMake formalization and proofs
VSI-Benchmarks   Use    Solutions to Verified Software Initiative verification challenges
vacid0           Use    Dafny attempts to VACID Edition 0 benchmarks
vstte2012        Use    Dafny solutions for the VSTTE 2012 program verification competition
VSComp2010       Use    Dafny solutions to VSComp (verified software competition) problems