An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 3.8% downloads on crates.io
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 - codemeta.json
purl: pkg:cargo/model
Keywords: simulation , deterministic , model-checking , testing
License: MIT,Apache-2.0
Latest release: about 7 years ago
First release: almost 8 years ago
Dependent packages: 7
Dependent repositories: 13
Downloads: 310,500 total
Stars: 27 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago

    Loading...
    Readme
    Loading...