dafny-lang
-
- 2,093,212 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 1,634,098 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 436,117 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 351,786 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 342,135 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 340,765 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 324,371 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 305,240 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 239,446 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 216,518 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
- 145,077 total downloads
- last updated 2/15/2026
- Latest version: 4.11.1-nightly-2026-02-15-8afa7de (prerelease)
Package Description -
-
- 17,857 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -