dafny-lang
-
- 2,180,726 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 1,652,246 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 440,666 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 361,436 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 354,308 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 352,886 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 335,807 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 316,433 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 250,414 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 226,534 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
- 153,127 total downloads
- last updated 3/9/2026
- Latest version: 4.11.1-nightly-2026-03-09-b262447 (prerelease)
Package Description -
-
- 17,907 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -