dafny-lang
-
- 2,153,336 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 1,648,263 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 438,293 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 359,276 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 351,060 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 349,526 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 332,553 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 313,322 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 247,411 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 223,972 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
- 150,888 total downloads
- last updated 3/1/2026
- Latest version: 4.11.1-nightly-2026-03-01-b262447 (prerelease)
Package Description -
-
- 17,890 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -