Prototype implementation of SwiftPaxos (NSDI 2024)
☆23Mar 26, 2026Updated 2 months ago
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:
- Raknet protocol implementation by rust☆12Mar 27, 2025Updated last year
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆28Dec 28, 2024Updated last year
- A lock-free thread-safe concurrent SkipMap implementation based on ARENA skiplist which helps develop MVCC memtable for LSM-Tree.☆67Mar 14, 2026Updated 2 months ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Music composition environment for programmers☆13May 12, 2024Updated 2 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.
- Pushdown cache for DataFusion☆411Jun 3, 2026Updated last week
- A Rust attribute macro to limit a function's number of runs over a specified period of time☆12Aug 16, 2022Updated 3 years ago
- BLInk Tree logic - storage and locking experiment☆29Oct 1, 2014Updated 11 years ago
- WordPress & Typecho插件，在指定日期网站变 成黑白☆10May 11, 2018Updated 8 years ago
- The xline-operator is a powerful tool designed to automate the process of bootstrapping, monitoring, snapshotting, and recovering an xlin…☆16Feb 19, 2024Updated 2 years ago
- Datanlord's RDMA nic driver☆12Sep 12, 2024Updated last year
- Reflection Toolkit☆40Apr 5, 2025Updated last year
- ☆11Mar 7, 2023Updated 3 years ago
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Const FNV1A hashing implementation.☆20Aug 13, 2022Updated 3 years ago
- An experimental distributed key-value database using EPaxos protocol☆16Jun 1, 2026Updated last week
- Zig's comptime for Rust, with zero dependencies.☆27Oct 9, 2025Updated 8 months ago
- Fully-runtime equivalent of Rust's string formatting macro.☆15May 20, 2022Updated 4 years ago
- An Interactive Microsoft Azure Regions Map☆14Jul 27, 2025Updated 10 months ago
- netlink sockets, with optional integration with tokio☆18Mar 8, 2026Updated 3 months ago
- Openbox Logout Menu, ported to Python 3.☆12Apr 28, 2024Updated 2 years ago
- Merge AsyncIterables with all corner cases covered☆14Apr 3, 2025Updated last year
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 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.
- Pixel7 5G vlote Call recording enable☆13Mar 8, 2025Updated last year
- ☆18Sep 29, 2022Updated 3 years ago
- ☆13Mar 10, 2018Updated 8 years ago
- A collection of benchmarks of basic operation, as a guide for tuning.☆12Apr 12, 2021Updated 5 years ago
- C/C++ Dynamic Memory Analyzer (CMA)☆18Jul 29, 2014Updated 11 years ago
- Copilot source code☆13Nov 18, 2021Updated 4 years ago
- A configuration for Neovim that inspires hope and resolution 🔥☆20May 18, 2026Updated 3 weeks ago
- ☆13Apr 14, 2026Updated last month
- ☆18Feb 1, 2023Updated 3 years 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.
- an http s3 client for openresty☆12Oct 1, 2016Updated 9 years ago
- ⚠️ Unmaintained☆18Feb 11, 2025Updated last year
- Compiler for an "extended" version of the Mindustry logic language☆17Apr 12, 2022Updated 4 years ago
- [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure☆73Jul 2, 2024Updated last year
- 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