dafny-lang
-
- 2,618,716 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 1,779,249 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 466,372 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 402,017 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 383,933 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 382,999 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 363,015 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 339,945 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 273,805 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 250,071 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
- 173,205 total downloads
- last updated 6/24/2026
- Latest version: 4.11.1-nightly-2026-06-24-368adac (prerelease)
Package Description -
-
- 18,699 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -