Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 4.7% dependent packages on crates.io
Top 7.2% dependent repos on crates.io
crates.io : model
model-based testing for data structures, with linearizability checking
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/model
Keywords: testing, model-checking, deterministic, simulation
License: MIT,Apache-2.0
Latest release: over 5 years ago
First release: about 6 years ago
Dependent packages: 7
Dependent repositories: 13
Downloads: 293,761 total
Stars: 26 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/spacejam
Last synced: 2 days ago