dafny-lang
-
- 2,303,174 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 1,684,486 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 449,271 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 368,596 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 362,083 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 361,423 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 343,389 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 323,342 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 256,624 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 233,190 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
- 158,698 total downloads
- last updated 4/5/2026
- Latest version: 4.11.1-nightly-2026-04-05-6359ad0 (prerelease)
Package Description -
-
- 18,136 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -