Prototype implementation of SwiftPaxos (NSDI 2024)
☆25Mar 26, 2026Updated 4 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
- Lithops-based Serverless implementation of the METASPACE spatial metabolomics annotation pipeline☆12Jul 6, 2023Updated 3 years ago
- framework for evaluating (planet-scale) consensus protocols☆132Mar 1, 2024Updated 2 years ago
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆28Dec 28, 2024Updated last year
- ☆40Jul 17, 2026Updated 3 weeks 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.
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- CQUPT(重庆邮电大学) 自动健康打卡服务器，支持打卡成功(失败)邮件提醒，当天打卡时间抖动，打卡位置干扰☆15Dec 10, 2022Updated 3 years ago
- cpsc490 - A seminar on programming practice; workshops and materials☆10May 1, 2018Updated 8 years ago
- A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individua…☆12Mar 2, 2021Updated 5 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆589Updated this week
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- ☆11Oct 22, 2020Updated 5 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
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 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.
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 8 months ago
- A lock-free thread-safe concurrent SkipMap implementation based on ARENA skiplist which helps develop MVCC memtable for LSM-Tree.☆67Mar 14, 2026Updated 4 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
- Accord library for Apache Cassandra®☆93Updated this week
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated 2 years ago
- AI-Assisted Verification of Data Structures☆21May 27, 2026Updated 2 months ago
- A collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 6 years ago
- The chinese translation for https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf☆37May 13, 2023Updated 3 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.
- Reflection Toolkit☆40Apr 5, 2025Updated last year
- A pluggable implementation of the Paxos Consensus Protocol☆26Apr 15, 2017Updated 9 years ago
- Pixel7 5G vlote Call recording enable☆14Mar 8, 2025Updated last year
- Simple blockchain with mininet☆13Oct 21, 2022Updated 3 years ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 4 years ago
- Backend of https://asoul.infedg.xyz/, An A-SOUL Text Generator Based on CPM-Distill.☆43Sep 11, 2021Updated 4 years ago
- wanAndroid 多模块开发，使用 kts 和 Composing builds 构建多模块。初学者，gradle 使用可能存在部分问题，欢迎来提 issues，如果对你有帮助就 Star 一下吧☆37Dec 7, 2024Updated last year
- Implementation based on OSDI paper☆20Feb 11, 2018Updated 8 years ago
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples☆22Apr 9, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An experimental distributed key-value database using EPaxos protocol☆16Jul 1, 2026Updated last month
- Zig's comptime for Rust, with zero dependencies.☆27Oct 9, 2025Updated 10 months ago
- Development box for using qemu-arm-aarch64☆13Jul 4, 2016Updated 10 years ago
- MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection - Replication Project☆16Mar 24, 2023Updated 3 years ago
- An Interactive Microsoft Azure Regions Map☆14Jul 27, 2025Updated last year
- ☆17Apr 10, 2026Updated 4 months ago
- netlink sockets, with optional integration with tokio☆18Updated this week