dafny-lang
-
- 2,218,823 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 1,662,537 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 442,665 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 363,453 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 356,738 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 355,629 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 337,607 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 318,359 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 252,156 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 228,348 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
- 154,806 total downloads
- last updated 3/16/2026
- Latest version: 4.11.1-nightly-2026-03-16-b262447 (prerelease)
Package Description -
-
- 18,061 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -