Prototype implementation of SwiftPaxos (NSDI 2024)
☆22Feb 22, 2026Updated last week
Alternatives and similar repositories for swiftpaxos
Users that are interested in swiftpaxos are comparing it to the libraries listed below
Sorting:
- CQUPT(重庆邮电大学) 自动健康打卡服务器，支持打卡成功(失败)邮件提醒，当天打卡时间抖动，打卡位置干扰☆16Dec 10, 2022Updated 3 years ago
- We重邮有关每日打卡的一些接口分享☆19May 12, 2022Updated 3 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 years ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- Reflection Toolkit☆39Apr 5, 2025Updated 10 months ago
- Distributed pushdown cache for DataFusion☆385Feb 21, 2026Updated last week
- The chinese translation for https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf☆37May 13, 2023Updated 2 years ago
- Use borg and APFS snapshot to backup your Mac☆13Sep 18, 2019Updated 6 years ago
- WordPress & Typecho插件，在指定日期网站变成黑白☆10May 11, 2018Updated 7 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆12Apr 26, 2023Updated 2 years ago
- VSS: A Storage System for Video Analytics☆13Jul 9, 2021Updated 4 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Advanced futures library☆16Feb 3, 2026Updated 3 weeks ago
- "Building Distributed Systems with Stateright"☆15Jul 28, 2025Updated 7 months ago
- ☆12Aug 14, 2025Updated 6 months ago
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆11Mar 3, 2025Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆18Jan 24, 2026Updated last month
- Mirai-console和MiraiAndroid插件二合一模板☆10Jul 29, 2021Updated 4 years ago
- Example container image for running on Cloudflare's container runtime☆10Jan 22, 2025Updated last year
- A lock-free thread-safe concurrent SkipMap implementation based on ARENA skiplist which helps develop MVCC memtable for LSM-Tree.☆66Feb 24, 2025Updated last year
- [VLDB 2024] Source code for FusionQuery: On-demand Fusion Queries over Multi-source Heterogeneous Data☆11Mar 11, 2025Updated 11 months ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆21Updated this week
- 记录自己从0基础重新学习协程的心得体会☆13Nov 8, 2022Updated 3 years ago
- ☆13Jun 10, 2024Updated last year
- base32 encoding/decoding for ziglang☆16Dec 24, 2025Updated 2 months ago
- ci guo min zhu ebook...☆13Dec 29, 2016Updated 9 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- 📚 开源书籍《分布式存储漫游指南》连载中 | 献给热爱分布式技术的你☆53Jan 27, 2026Updated last month
- Openbox Logout Menu, ported to Python 3.☆12Apr 28, 2024Updated last year
- an http s3 client for openresty☆11Oct 1, 2016Updated 9 years ago
- Development box for using qemu-arm-aarch64☆13Jul 4, 2016Updated 9 years ago
- Backend of https://asoul.infedg.xyz/, An A-SOUL Text Generator Based on CPM-Distill.☆43Sep 11, 2021Updated 4 years ago
- Simplest OS ever.☆15Jan 14, 2025Updated last year