dafny-lang
-
- 2,069,171 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 1,628,048 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 435,342 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 350,428 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 340,674 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 339,307 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 322,196 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 304,077 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 238,340 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 215,374 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
- 144,133 total downloads
- last updated 2/8/2026
- Latest version: 4.11.1-nightly-2026-02-08-58b3f6a (prerelease)
Package Description -
-
- 17,824 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -