dafny-lang
-
- 1,931,883 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 1,587,925 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 432,004 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 337,390 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 327,322 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 326,077 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 309,595 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 290,103 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 226,211 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 204,033 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
- 135,055 total downloads
- last updated 1/6/2026
- Latest version: 4.11.1-nightly-2026-01-06-58b3f6a (prerelease)
Package Description -
-
- 17,678 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -