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,239 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: 1 day ago
arc-swap 1.7.1
Atomically swappable Arc41 versions - Latest release: 2 months ago - 259 dependent packages - 8,434 dependent repositories - 51.2 million downloads total - 662 stars on GitHub - 1 maintainer
pagetable 0.4.5
Wait-free 4-level 64-bit pagetable for roughly-contiguous keys.23 versions - Latest release: 10 months ago - 5 dependent packages - 7 dependent repositories - 23 thousand downloads total - 31 stars on GitHub - 1 maintainer
ipfs-embed 0.26.1
small embeddable ipfs implementation35 versions - Latest release: 10 months ago - 7 dependent packages - 8 dependent repositories - 24 thousand downloads total - 332 stars on GitHub - 1 maintainer
libipld 0.16.0
library for dealing with ipld25 versions - Latest release: over 1 year ago - 84 dependent packages - 45 dependent repositories - 344 thousand downloads total - 131 stars on GitHub - 1 maintainer
lurk-ipld 0.3.0
IPLD library for Lurk3 versions - Latest release: over 1 year ago - 2 dependent packages - 2 dependent repositories - 8.38 thousand downloads total - 2 maintainers
ipld-collections 0.3.0
multiblock ipld collections4 versions - Latest release: over 3 years ago - 1 dependent package - 1.91 thousand downloads total - 11 stars on GitHub - 1 maintainer
pagecache 0.19.4 💰
lock-free pagecache and log for high-performance databases57 versions - Latest release: over 4 years ago - 2 dependent packages - 42 dependent repositories - 89.2 thousand downloads total - 7,771 stars on GitHub - 1 maintainer