MultiPaxos and Disk Paxos in TLA+ and PlusCal
☆13Jan 23, 2023Updated 3 years ago
Alternatives and similar repositories for MultiPaxos
Users that are interested in MultiPaxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 7 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- ☆11Oct 21, 2024Updated 2 years ago
- Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-V…☆11Aug 7, 2024Updated 2 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 4 years ago
- 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.
- tla-mode for emacs☆23Apr 27, 2021Updated 5 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 6 years ago
- A collection of "git for data" snippets, models, resources☆20Jun 5, 2026Updated 4 months ago
- Yet another write-optimized storage engine, using buffered B-tree algorithm inspired by TokuDB☆12Nov 1, 2013Updated 13 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 10 years ago
- Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)☆37Updated this week
- TLA+ and Alloy specs of database isolation☆20Oct 13, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository hosts the code used for the following paper: Claude Barthels, Ingo Müller, Konstantin Taranov, Torsten Hoefler, Gustavo A…☆11Nov 1, 2019Updated 7 years ago
- 阿里云第二届数据库大赛新手门槛队（季军）解决方案☆10Apr 19, 2021Updated 5 years ago
- Database re-evaluation for TiDB, YugabyteDB☆13Aug 31, 2020Updated 6 years ago
- Steel: The ZK Coprocessor for EVM Apps☆11Aug 31, 2026Updated 2 months ago
- ☆13Aug 30, 2025Updated last year
- A rust crate to use stack-allocated vectors (to improve performance and/or when there is no std)☆12Feb 16, 2019Updated 7 years ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆144Jul 11, 2020Updated 6 years ago
- A Rust attribute macro to limit a function's number of runs over a specified period of time☆12Aug 16, 2022Updated 4 years ago
- Check incompatible SQL statements among multiple RDBs☆14Nov 26, 2013Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆10Jul 12, 2020Updated 6 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆14Mar 29, 2018Updated 8 years ago
- simple python interface to SMAC.☆21Mar 27, 2018Updated 8 years ago
- Nuft is an C++17 implementation of the Raft consensus algorithm.☆26Apr 12, 2022Updated 4 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Apr 12, 2019Updated 7 years ago
- Event sourcing and CQRS toolkit with SQL persistence, projections, and subscriptions☆10Updated this week
- IC3PO: IC3 for Proving Protocol Properties☆29Sep 10, 2024Updated 2 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆48May 22, 2023Updated 3 years ago
- Number names is a Rust library to provide formatted string names for cardinal and ordinal numbers.☆13May 16, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆28Feb 26, 2024Updated 2 years ago
- The C++ TiKV client used by TiFlash.☆41Sep 16, 2026Updated last month
- Recursively scans HTML pages for URLs and downloads desired content.☆13Mar 29, 2026Updated 7 months ago
- Concurrent (with OLC) Adaptive Radix Trie in Golang.☆13Jul 31, 2020Updated 6 years ago
- Unix-specific portions of Core☆19Jul 10, 2026Updated 3 months ago
- A Pure Rust Implementation of Egalitarian Paxos☆49Feb 14, 2020Updated 6 years ago
- Pure Rust SSTable implementation☆14Aug 9, 2024Updated 2 years ago