Prototype implementation of SwiftPaxos (NSDI 2024)
☆24Mar 26, 2026Updated 3 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:
- CQUPT(重庆邮电大学) 自动健康打卡服务器，支持打卡成功(失败)邮件提醒，当天打卡时间抖动，打卡位置干扰☆16Dec 10, 2022Updated 3 years ago
- We重邮有关每日打卡的一些接口分享☆19May 12, 2022Updated 4 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 3 months ago
- A rust crate to use stack-allocated vectors (to improve performance and/or when there is no std)☆12Feb 16, 2019Updated 7 years ago
- Use borg and APFS snapshot to backup your Mac☆13Sep 18, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The C++ implementation of etcd raft☆23Apr 13, 2026Updated 2 months ago
- Pushdown cache for DataFusion☆415Jun 13, 2026Updated 2 weeks ago
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 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
- "Building Distributed Systems with Stateright"☆16Jul 28, 2025Updated 11 months ago
- Incremental, zero-copy UTF-8 decoding for Rust☆25Jan 21, 2023Updated 3 years ago
- Backend of https://asoul.infedg.xyz/, An A-SOUL Text Generator Based on CPM-Distill.☆43Sep 11, 2021Updated 4 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.
- ☆36Nov 17, 2025Updated 7 months ago
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- An experimental distributed key-value database using EPaxos protocol☆16Jun 1, 2026Updated last month
- 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
- A community preview of ongoing formal verification efforts for Asterinas☆50Jun 25, 2026Updated last week
- Development box for using qemu-arm-aarch64☆13Jul 4, 2016Updated 9 years ago
- Utility for converting iptables (REDIRECT/TPROXY) to SOCKS5 for OpenWrt.☆13Nov 1, 2022Updated 3 years ago
- netlink sockets, with optional integration with tokio☆18Mar 8, 2026Updated 3 months ago
- 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.
- Merge AsyncIterables with all corner cases covered☆14Apr 3, 2025Updated last year
- ☆17Apr 10, 2026Updated 2 months ago
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- wanAndroid 多模块开发，使用 kts 和 Composing builds 构建多模块。初学者，gradle 使用可能存在部分问题，欢迎来提 issues，如果对你有帮助就 Star 一下吧☆36Dec 7, 2024Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆17Jun 26, 2026Updated last week
- ☆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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last month
- Rust telegram bot library for many runtimes☆20Apr 11, 2024Updated 2 years ago
- SkeletonDB is a lock-less thread safe in memory MVCC store written in Go.☆23Dec 13, 2016Updated 9 years ago
- an http s3 client for openresty☆12Oct 1, 2016Updated 9 years ago
- Compiler for an "extended" version of the Mindustry logic language☆17Apr 12, 2022Updated 4 years ago