dafny-lang
-
- 2,685,107 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 1,791,933 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 471,912 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 426,663 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 393,505 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 389,696 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 369,641 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 345,456 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 280,547 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 255,030 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
- 177,930 total downloads
- last updated 7/7/2026
- Latest version: 4.11.1-nightly-2026-07-07-368adac (prerelease)
Package Description -
-
- 18,806 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -