dafny-lang
-
- 2,526,756 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 1,759,399 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 460,840 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 391,882 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 378,935 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 378,586 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 359,401 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 337,372 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 270,956 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 246,959 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
- 170,572 total downloads
- last updated 5/22/2026
- Latest version: 4.11.1-nightly-2026-05-22-7c0fd13 (prerelease)
Package Description -
-
- 18,668 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -