Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : prusti-std
External specifications for items in std for Prusti
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/prusti-std
Keywords: contracts, specifications, formal, verification, prusti, formal-verification, rust, viper
License: MPL-2.0
Latest release: 9 months ago
First release: over 1 year ago
Downloads: 3,236 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