dafny-lang
-
- 2,356,708 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 1,701,710 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 452,437 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 371,555 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 364,460 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 363,724 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 346,125 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 325,289 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 258,508 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 235,462 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
- 161,096 total downloads
- last updated 4/17/2026
- Latest version: 4.11.1-nightly-2026-04-17-13bdccd (prerelease)
Package Description -
-
- 18,187 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -