elem-azar-unis / CRDT-Redis
CRDTs implemented in Redis
☆50Updated last year
Alternatives and similar repositories for CRDT-Redis:
Users that are interested in CRDT-Redis are comparing it to the libraries listed below
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 5 months ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆120Updated last week
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆30Updated 7 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆166Updated 10 months ago
- The C++ TiKV client used by TiFlash.☆41Updated last week
- A fun project for evaluating some new optimizations quickly, do not use it in production☆118Updated last year
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb, as the storage layer …☆99Updated last year
- Tool to tune TiKV with ML method☆65Updated 4 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆43Updated last year
- MemKeyDB is a fork of Redis, adjusted to store objects on both Intel Optane Persistent Memory and DRAM.☆78Updated 7 months ago
- A RocksDB plugin for key-value separation, inspired by WiscKey.☆494Updated 3 weeks ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...☆64Updated 6 years ago
- ☆294Updated 8 months ago
- An embedded key-value store library specialized for building state machine and log store☆225Updated 2 weeks ago
- A data structure and algorithm library built for TerarkDB☆62Updated 2 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆61Updated 4 years ago
- Has been migrated to https://github.com/pegasus-kv/rocksdb☆34Updated last year
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- ☆617Updated 3 years ago
- A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.☆459Updated 9 years ago
- ☆143Updated last year
- KVell: the Design and Implementation of a Fast Persistent Key-Value Store☆282Updated 4 years ago
- C implementation of the Raft Consensus protocol, BSD licensed☆71Updated last year
- A cache-efficiency weight balanced binary tree☆70Updated 10 years ago
- Masstree -- lockless cache-aware trie of B+ trees [experimental]☆99Updated 6 years ago
- Migration tools for TiKV, e.g. online bulk load.☆36Updated 2 weeks ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆25Updated 5 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago