Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : prusti-specs
Internal Prusti crate for parsing specifications
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/prusti-specs
Keywords: prusti, formal-verification, rust, verification, viper
License: MPL-2.0
Latest release: 9 months ago
First release: over 1 year ago
Dependent packages: 1
Downloads: 5,701 total
Stars: 1,480 on GitHub
Forks: 99 on GitHub
Total Commits: 6053
Committers: 73
Average commits per author: 82.918
Development Distribution Score (DDS): 0.587
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 8 hours ago