Prototype implementation of SwiftPaxos (NSDI 2024)
☆23Mar 26, 2026Updated last month
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
- CQUPT(重庆邮电大学) 自动健康打卡服务器，支持打卡成功(失败)邮件提醒，当天打卡时间抖动，打卡位置干扰☆16Dec 10, 2022Updated 3 years ago
- 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 month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A rust crate to use stack-allocated vectors (to improve performance and/or when there is no std)☆12Feb 16, 2019Updated 7 years ago
- The C++ implementation of etcd raft☆22Apr 13, 2026Updated 2 weeks ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Pushdown cache for DataFusion☆405Updated this 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
- 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☆29Oct 1, 2014Updated 11 years ago
- WordPress & Typecho插件，在指定日期网站变成黑白☆10May 11, 2018Updated 7 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Datanlord's RDMA nic driver☆12Sep 12, 2024Updated last year
- Incremental, zero-copy UTF-8 decoding for Rust☆25Jan 21, 2023Updated 3 years ago
- ☆11Mar 7, 2023Updated 3 years ago
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- Const FNV1A hashing implementation.☆17Aug 13, 2022Updated 3 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆45Updated this week
- An Interactive Microsoft Azure Regions Map☆14Jul 27, 2025Updated 9 months ago
- netlink sockets, with optional integration with tokio☆18Mar 8, 2026Updated last month
- Openbox Logout Menu, ported to Python 3.☆12Apr 28, 2024Updated 2 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.
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 years ago
- Pixel7 5G vlote Call recording enable☆13Mar 8, 2025Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Updated this week
- ☆18Sep 29, 2022Updated 3 years ago
- Copilot source code☆13Nov 18, 2021Updated 4 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
- A configuration for Neovim that inspires hope and resolution 🔥☆20Apr 10, 2026Updated 3 weeks ago
- Rust telegram bot library for many runtimes☆20Apr 11, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Apr 14, 2026Updated 2 weeks 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
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 6 years ago
- TLA+ specification for the Raft consensus algorithm☆19Aug 22, 2016Updated 9 years ago
- Revoke risky Chinese certificates in case of potential security and censorship problem☆20Oct 30, 2019Updated 6 years ago