dafny-lang
-
- 3,021,517 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 1,830,398 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 496,613 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 461,823 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 414,987 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 402,898 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 389,455 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 361,522 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 291,108 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 269,494 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
- 189,412 total downloads
- last updated 10/7/2026
- Latest version: 4.11.1-nightly-2026-10-07-5f717bf (prerelease)
Package Description -
-
- 19,125 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -