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

model

model-based testing for data structures, with linearizability checking

Ecosystem
crates.io
Latest Release
0.1.2
about 7 years ago
Versions
6
Downloads
311,130 total
Dependent Packages
7
Dependent Repos
13
Links
Registry crates.io
Source Repository
Docs Documentation
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:cargo/model
spec
License MIT, Apache-2.0
First Release almost 8 years ago
Last Synced 2 days ago
Repository
Stars 27 on GitHub
Forks 1 on GitHub
Rankings on crates.io
Downloads Top 3.8%
Dependent packages Top 4.7%
Dependent repos Top 7.2%