Back to search
Top Contributors
182
commits
4
commits
2
commits
1
commits
1
commits
Redis-compatible in-memory data store in Rust. Actor-per-shard architecture, CRDT replication, deterministic simulation testing, 4-layer verification.
Stars
44
Forks
16
Watchers
44
Open Issues
8
Overall repository health assessment
No package.json found
This might not be a Node.js project
182
commits
4
commits
2
commits
1
commits
1
commits
fix: address review — multi_node.rs same bug + TigerStyle postcondition
5db8e05View on GitHubfix: use merged CRDT value in apply_remote_delta_impl (#21)
651f1f1View on GitHubfix: address PR 15 review gaps — verify_invariants, validation, dead code (#20)
08ff584View on GitHubfix: address PR 15 review gaps — verify_invariants, validation, dead code
345fea8View on GitHubMemory optimizations: remove access_times, single-pass eviction, configurable buffer pool (#15)
98dac77View on GitHubMake connection pool size configurable via PerformanceConfig
cc90b03View on GitHubfix: bound Stateright persistence model state space for CI
0d6d40fView on GitHubdocs: paper — fix factual inaccuracies found during review
4c596bfView on GitHubdocs: paper — use Claude instead of generic AI, trim redundancies
b69d5d3View on GitHub