belliottsmith / accord
☆26Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for accord
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Experiments in partially ordered SMR.☆46Updated 3 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
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- A collection of state machine replication protocols☆118Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆44Updated 2 years ago
- Fast linearizability checker☆65Updated 9 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆41Updated last year
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- reimplementing scalog from scratch☆30Updated 4 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆87Updated last year
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Embedded InnoDB based on v5.1☆28Updated last week
- InkFuse - An Experimental Database Runtime Unifying Vectorized and Compiled Query Execution.☆42Updated 5 months ago
- The Cicada engine☆56Updated 7 years ago
- ☆51Updated 5 months ago
- A distributed database benchmark based on TAO's workload☆38Updated 10 months ago
- A project to implement Augmented Time☆48Updated 10 years ago
- ☆12Updated 4 years ago
- Implementation of the BwTree as specified by Microsoft Research☆98Updated 8 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆93Updated last month
- ☆20Updated last year
- Source code of our implementation of the concurrent RMA☆13Updated 5 years ago
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Updated 6 years ago
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆19Updated 7 months ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- ☆37Updated 4 years ago
- ☆37Updated 6 months ago