A Swiss Army knife for read-write quorum systems
☆86Jun 7, 2021Updated 4 years ago
Alternatives and similar repositories for quoracle
Users that are interested in quoracle are comparing it to the libraries listed below
Sorting:
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- Paxos protocol framework☆559Dec 29, 2023Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Mar 16, 2024Updated last year
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- A collection of state machine replication protocols☆121Dec 8, 2022Updated 3 years ago
- Tests with PlusCal / TLA+☆25Jan 12, 2017Updated 9 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆305Feb 26, 2026Updated last week
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Sep 14, 2016Updated 9 years ago
- An embedded key/value database for Go.☆10Apr 3, 2021Updated 4 years ago
- A FoundationDB backend plugin for mnesia, based on mnesia_rocksdb☆12Dec 1, 2020Updated 5 years ago
- JSON Java serializer and parser.☆14Mar 1, 2021Updated 5 years ago
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 5 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 6 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- TLA+ specifications for Raft and variants☆90Jul 18, 2022Updated 3 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆173Mar 28, 2024Updated last year
- ☆15Sep 10, 2024Updated last year
- Shelly is an Erlang/OTP application makes it simple to have a remote maintenance shell into your application☆17Apr 11, 2023Updated 2 years ago
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆35Feb 23, 2026Updated last week
- Implementation of the algorithms from "Scalable Lock-Free Dynamic Memory Allocation"☆17Sep 22, 2014Updated 11 years ago
- Hands on exercises with real-life examples to study and practice Go concurrency patterns. Test-cases are provided to verify your answers.☆15Nov 3, 2024Updated last year
- 一门公开课《MIT6.824》的大作业☆12Jun 21, 2021Updated 4 years ago
- Disk backed concurrent ART implementation, with optional generations.☆14Nov 8, 2023Updated 2 years ago
- LFU-based in-memory cache in Rust☆17Sep 2, 2025Updated 6 months ago
- Awesome list of distributed transactions☆733Nov 8, 2021Updated 4 years ago
- A list of papers about distributed consensus.☆2,609Aug 8, 2024Updated last year
- Paxos Made Moderately Complex☆191Aug 1, 2024Updated last year
- The world's first wait-free KV store with generic durable linearizable transactions☆41Feb 26, 2022Updated 4 years ago
- Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors☆20Nov 15, 2023Updated 2 years ago
- InfraSight is a modular eBPF-based observability platform for Linux and Kubernetes environments. It provides deep visibility into system …☆35Oct 14, 2025Updated 4 months ago
- Open source scholarly literature search☆16Sep 29, 2024Updated last year
- APALACHE: symbolic model checker for TLA+ and Quint☆527Feb 11, 2026Updated 3 weeks ago
- A model checker for implementing distributed systems.☆1,786Jul 27, 2025Updated 7 months ago
- ☆20Nov 1, 2018Updated 7 years ago
- Paxos Made Simple☆20Mar 26, 2023Updated 2 years ago
- ☆28Jun 21, 2011Updated 14 years ago