Ecosyste.ms: Packages

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

crates.io "linearizability" keyword

lincheck 0.2.1
A linearizability checker for concurrent data structures
4 versions - Latest release: 10 months ago - 1 dependent package - 1.17 thousand downloads total - 8 stars on GitHub - 1 maintainer
todc-mem 0.1.0
Algorithms for shared-memory distributed systems.
1 version - Latest release: 9 months ago - 354 downloads total - 1 stars on GitHub - 1 maintainer
todc-net 0.1.0
Algorithms for message-passing (HTTP) distributed systems.
1 version - Latest release: 8 months ago - 320 downloads total - 1 stars on GitHub - 1 maintainer
todc-utils 0.1.1
Utilities for building and testing distributed systems.
2 versions - Latest release: 8 months ago - 594 downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
shared-memory 3 distributed-systems 3 distributed-computing 3 message-passing 3 rust 3 lock-free 1 concurrency 1 testing 1 verification 1 model-checking 1 atomic-snapshot 1 atomics 1