dafny-lang
-
- 2,833,796 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 1,809,111 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 485,232 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 444,118 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 402,196 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 395,210 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 376,064 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 351,088 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 285,648 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 261,018 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
- 182,487 total downloads
- last updated 8/24/2026
- Latest version: 4.11.1-nightly-2026-08-24-f3c2fed (prerelease)
Package Description -
-
- 18,975 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -