dafny-lang
-
- 2,598,636 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 1,773,854 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 464,774 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 398,701 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 382,892 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 381,978 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 362,326 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 339,448 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 273,161 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 249,252 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
- 172,570 total downloads
- last updated 6/17/2026
- Latest version: 4.11.1-nightly-2026-06-17-1d106b9 (prerelease)
Package Description -
-
- 18,688 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -