A simulator for the Paxos Protocol for consensus in distributed systems
☆21Dec 19, 2012Updated 13 years ago
Alternatives and similar repositories for paxos
Users that are interested in paxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week
- A data visualization that lets you explore crime trends in Chicago's 50 wards. Built using open crime report data from the Chicago Police…☆35Jun 13, 2014Updated 11 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Network reachability functions for client side Go network code☆12May 15, 2016Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Sharing work on resumption monad☆12Sep 18, 2012Updated 13 years ago
- dubbo服务间的分布式事物☆11Aug 26, 2015Updated 10 years ago
- A demo of concurrency primitives in x64 assembly☆18Jan 6, 2022Updated 4 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- An incredibly easy user-presence package based on konecty:user-presence☆12Sep 14, 2015Updated 10 years ago
- modified cutlass☆16Oct 26, 2020Updated 5 years ago
- jta example☆15Nov 12, 2015Updated 10 years ago
- ☆20Apr 16, 2026Updated 3 weeks ago
- Aussie AI Base C++ Library is the source code repo for the book Generative AI in C++, along with various other AI/ML kernels.☆22Aug 30, 2024Updated last year
- 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.
- Interfaces in ziglang☆25Jan 8, 2023Updated 3 years ago
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆26Jun 5, 2024Updated last year
- Examples of Envoy proxy☆15Dec 27, 2017Updated 8 years ago
- ☆23May 24, 2025Updated 11 months ago
- ☆16Apr 10, 2025Updated last year
- A TUI tool for exploring the status of FoundationDB clusters.☆29Apr 22, 2026Updated 2 weeks ago
- ☆32Aug 19, 2023Updated 2 years ago
- 最快速精简的java消息队列,可以比较容易的基于这个项目进行二次开发☆31Dec 14, 2016Updated 9 years ago
- ☆11Oct 30, 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.
- Example multi-paxos application for those learning Paxos & multi-paxos☆95Mar 28, 2019Updated 7 years ago
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 5 months ago
- Upgrade of debugger from classic TclPro to Tcl 8.5+☆38Feb 26, 2018Updated 8 years ago
- simpler, better and faster Java bean mapping framework☆68Dec 17, 2023Updated 2 years ago
- Repository for tutorial on Neural ODEs prepared for the UCL AI Society☆13Mar 7, 2021Updated 5 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 7 years ago
- 🔧 SQL for csv file in UNIX command line with awk.☆16Aug 6, 2022Updated 3 years ago
- Symbolic execution engine for toy language.☆51Mar 6, 2018Updated 8 years ago
- Scala Improvement Process☆14Aug 21, 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.
- Topic models for microblogging content☆10Sep 23, 2015Updated 10 years ago
- Reduced on-disk Suffix Array☆22Oct 9, 2013Updated 12 years ago
- Configure an LDAPS Endpoint for Simple AD☆14Aug 29, 2017Updated 8 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Dec 30, 2021Updated 4 years ago
- An implementation of the Swirlds Hashgraph - a fair, fast, replicated, Byzantine state machine☆13May 25, 2017Updated 8 years ago
- GPG encrypting MDA☆15May 25, 2025Updated 11 months ago
- This ist the repository for the term project Speech Recognition using Deep Neural Networks for the course ELEC-E5510-Speech Recognition☆12Dec 8, 2015Updated 10 years ago