NOPaxos consensus protocol
☆138Nov 17, 2020Updated 5 years ago
Alternatives and similar repositories for NOPaxos
Users that are interested in NOPaxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Eris distributed transactions☆53Apr 9, 2018Updated 8 years ago
- Speculative Paxos replication protocol☆131Oct 14, 2016Updated 10 years ago
- NetChain in P4☆18Jul 4, 2020Updated 6 years ago
- ☆19Oct 16, 2020Updated 6 years ago
- TAPIR distributed transactional storage system☆428Mar 11, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Paxos protocol framework☆558Dec 29, 2023Updated 2 years ago
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 6 years ago
- Source code for our OSDI 2016 paper☆109Nov 11, 2018Updated 7 years ago
- NetLock: Fast, Centralized Lock Management Using Programmable Switches☆33Sep 2, 2020Updated 6 years ago
- ☆11Sep 22, 2017Updated 9 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆31Feb 4, 2019Updated 7 years ago
- ☆18Jun 8, 2021Updated 5 years ago
- ☆12Jul 2, 2012Updated 14 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Transparent Paxos☆45Jun 5, 2019Updated 7 years ago
- NetCache in P4☆62Jul 4, 2020Updated 6 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 7 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- A high-performance, concurrent hash table☆24Dec 15, 2013Updated 12 years ago
- ☆38Apr 15, 2022Updated 4 years ago
- Software Transactional Objects☆56Apr 5, 2024Updated 2 years ago
- A high-performance distributed shared-log for Ceph☆118Aug 4, 2019Updated 7 years ago
- MIND: In-Network Memory Management for Disaggregated Data Centers☆44Jul 23, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yet Another RAFT implementation☆125Oct 12, 2018Updated 8 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆95Dec 11, 2022Updated 3 years ago
- ☆25Jul 21, 2022Updated 4 years ago
- A cluster consistency platform☆669Updated this week
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 8 years ago
- Efficient RPCs for datacenter networks☆911May 9, 2024Updated 2 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)☆522Apr 16, 2024Updated 2 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆86May 13, 2022Updated 4 years ago
- Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.☆12May 1, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Paxos Made Moderately Complex☆193Aug 1, 2024Updated 2 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆26Jun 15, 2019Updated 7 years ago
- Multicore in-memory storage engine☆405Oct 10, 2017Updated 9 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆331Dec 13, 2021Updated 4 years ago
- Stream processing engine☆13Apr 7, 2021Updated 5 years ago
- A collection of state machine replication protocols☆124Dec 8, 2022Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆52Jan 22, 2023Updated 3 years ago