dafny-lang
-
- 2,802,857 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 1,806,223 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 482,553 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 442,229 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 400,971 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 394,125 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 374,872 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 349,984 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 284,958 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 259,916 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
- 181,694 total downloads
- last updated 8/16/2026
- Latest version: 4.11.1-nightly-2026-08-16-f3c2fed (prerelease)
Package Description -
-
- 18,965 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -