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: simulation, deterministic, model-checking, testing
License: MIT,Apache-2.0
Latest release: over 5 years ago
First release: about 6 years ago
Dependent packages: 7
Dependent repositories: 13
Downloads: 294,117 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: about 4 hours ago