dafny-lang
-
- 1,184,039 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 1,041,968 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 399,527 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 222,488 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 178,375 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 171,010 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
DafnyCore
by: dafny-lang- 166,714 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 163,221 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 109,548 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 105,682 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 65,186 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
-
- 16,644 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -