Prototype implementation of SwiftPaxos (NSDI 2024)
☆22Mar 17, 2026Updated this week
Alternatives and similar repositories for swiftpaxos
Users that are interested in swiftpaxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆28Dec 28, 2024Updated last year
- We重邮有关每日打卡的一些接口分享☆19May 12, 2022Updated 3 years ago
- A lock-free thread-safe concurrent SkipMap implementation based on ARENA skiplist which helps develop MVCC memtable for LSM-Tree.☆67Mar 14, 2026Updated last week
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- A Rust attribute macro to limit a function's number of runs over a specified period of time☆12Aug 16, 2022Updated 3 years ago
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- The chinese translation for https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf☆37May 13, 2023Updated 2 years ago
- BLInk Tree logic - storage and locking experiment☆28Oct 1, 2014Updated 11 years ago
- "Building Distributed Systems with Stateright"☆15Jul 28, 2025Updated 7 months ago
- Datanlord's RDMA nic driver☆12Sep 12, 2024Updated last year
- Reflection Toolkit☆39Apr 5, 2025Updated 11 months ago
- Const FNV1A hashing implementation.☆15Aug 13, 2022Updated 3 years ago
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- An experimental distributed key-value database using EPaxos protocol☆16Mar 1, 2026Updated 3 weeks ago
- Fully-runtime equivalent of Rust's string formatting macro.☆14May 20, 2022Updated 3 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆44Updated this week
- An Interactive Microsoft Azure Regions Map☆14Jul 27, 2025Updated 7 months ago
- Development box for using qemu-arm-aarch64☆13Jul 4, 2016Updated 9 years ago
- netlink sockets, with optional integration with tokio☆17Mar 8, 2026Updated 2 weeks ago
- Openbox Logout Menu, ported to Python 3.☆12Apr 28, 2024Updated last year
- Merge AsyncIterables with all corner cases covered☆14Apr 3, 2025Updated 11 months ago
- ☆16Apr 3, 2025Updated 11 months ago
- Pixel7 5G vlote Call recording enable☆13Mar 8, 2025Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Updated this week
- A clustered, masterless redis clone, built in Go☆33May 21, 2014Updated 11 years ago
- ☆13Mar 10, 2018Updated 8 years ago
- A collection of benchmarks of basic operation, as a guide for tuning.☆12Apr 12, 2021Updated 4 years ago
- C/C++ Dynamic Memory Analyzer (CMA)☆18Jul 29, 2014Updated 11 years ago
- Rust telegram bot library for many runtimes☆20Apr 11, 2024Updated last year
- ☆12Aug 14, 2025Updated 7 months ago
- ☆18Feb 1, 2023Updated 3 years ago
- ci guo min zhu ebook...☆13Dec 29, 2016Updated 9 years ago
- SkeletonDB is a lock-less thread safe in memory MVCC store written in Go.☆23Dec 13, 2016Updated 9 years ago
- ⚠️ Unmaintained☆18Feb 11, 2025Updated last year
- [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure☆70Jul 2, 2024Updated last year
- An implementation of `std :: hash :: Hasher` which does not hash at all.☆70Sep 8, 2020Updated 5 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- A fast string concatenator☆12Sep 8, 2017Updated 8 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 6 years ago