dafny-lang
-
- 2,760,587 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 1,800,998 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 477,448 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 438,107 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 398,527 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 392,275 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 372,485 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 347,677 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 283,267 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 257,876 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
- 179,887 total downloads
- last updated 8/5/2026
- Latest version: 4.11.1-nightly-2026-08-05-f3c2fed (prerelease)
Package Description -
-
- 18,921 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -