dafny-lang
-
- 2,934,599 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 1,819,555 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 490,337 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 453,035 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 411,479 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 399,645 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 379,919 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 359,197 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 288,822 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 266,345 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
- 186,938 total downloads
- last updated 9/8/2026
- Latest version: 4.11.1-nightly-2026-09-08-98ac8c0 (prerelease)
Package Description -
-
- 19,057 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -