CatKang / SolitaireLinks
Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
☆18Updated 7 years ago
Alternatives and similar repositories for Solitaire
Users that are interested in Solitaire are comparing it to the libraries listed below
Sorting:
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 7 years ago
- Yet Another RAFT implementation☆126Updated 7 years ago
- An attempt to split the Raft library out of LogCabin☆37Updated 8 years ago
- A cache-efficiency weight balanced binary tree☆71Updated 11 years ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 9 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb☆42Updated 5 years ago
- The C++ TiKV client used by TiFlash.☆41Updated last week
- Has been migrated to https://github.com/apache/incubator-pegasus/tree/master/rdsn☆142Updated 3 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆29Updated 8 years ago
- levi-db is a fast database engine☆36Updated 7 years ago
- Add TTL feature on rocksdb, and compatible with rocksdb☆44Updated 7 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- Implementation of the BwTree as specified by Microsoft Research☆101Updated 9 years ago
- Yet another write-optimized storage engine, using buffered B-tree algorithm inspired by TokuDB☆426Updated 12 years ago
- A framework for distributed systems verification, with fault injection☆46Updated 3 weeks ago
- Read- and latency-optimized log structured merge tree☆174Updated 13 years ago
- A C library for fault injection [mirror]☆161Updated 3 months ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb, as the storage layer …☆101Updated 2 years ago
- A data structure and algorithm library built for TerarkDB☆67Updated 3 years ago
- Peloton Design Docs☆28Updated 7 years ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆121Updated last week
- Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed s…☆33Updated 7 years ago
- A high-performance, concurrent hash table☆25Updated 12 years ago
- Kunlun-storage is the storage component for Kunlun distributed DBMS. It's developed based on percona-mysql-8.0.x and contains exclusive f…☆32Updated 3 years ago
- A library that provide multiply data structure. Such as map, hash, list, set. We build these data structure base on rocksdb as the storag…☆115Updated 6 years ago
- ☆21Updated 2 years ago
- 文档数据库mongodb kv存储引擎wiredtiger源码详细分析注释☆68Updated 5 months ago
- Log-Structured Merge-Tree (LSM-Tree)☆90Updated 8 years ago
- A data structure and algorithm library built for ToplingDB☆60Updated 3 weeks ago
- Kosmos Distributed Filesystem☆29Updated 13 years ago