Top 9.4% on crates.io
Top 3.5% downloads on crates.io
Top 2.1% dependent packages on crates.io
Top 3.8% dependent repos on crates.io
Top 6.3% docker downloads on crates.io
Top 3.5% downloads on crates.io
Top 2.1% dependent packages on crates.io
Top 3.8% dependent repos on crates.io
Top 6.3% docker downloads on crates.io
crates.io : contracts
Design-by-contract attributes
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/contracts
Keywords:
design-by-contract
, invariant
, postcondition
, precondition
, verification
License: MPL-2.0
Latest release: 3 months ago
First release: over 6 years ago
Dependent packages: 23
Dependent repositories: 76
Downloads: 774,567 total
Stars: 14 on GitHub
Forks: 0 on GitHub
Docker dependents: 3
Docker downloads: 428
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/robjtede
Last synced: 10 days ago