dafny-lang
-
- 2,443,708 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 1,737,556 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 456,641 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 377,857 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 368,344 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 368,157 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 349,591 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 328,205 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 261,661 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 238,648 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
- 163,380 total downloads
- last updated 5/6/2026
- Latest version: 4.11.1-nightly-2026-05-06-6a33d0a (prerelease)
Package Description -
-
- 18,542 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -