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:
- Network reachability functions for client side Go network code☆12May 15, 2016Updated 10 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆22Mar 13, 2023Updated 3 years ago
- A lightweight infrastructure monitoring framework for NodeJS☆12May 7, 2016Updated 10 years ago
- Sharing work on resumption monad☆12Sep 18, 2012Updated 14 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.
- URingPaxos : A high throughput atomic multicast protocol☆30Oct 11, 2023Updated 2 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 8 years ago
- A demo of concurrency primitives in x64 assembly☆18Jan 6, 2022Updated 4 years ago
- An incredibly easy user-presence package based on konecty:user-presence☆11Sep 14, 2015Updated 11 years ago
- ☆13Apr 10, 2025Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust for SMR Protocols Research☆19Sep 8, 2026Updated 2 weeks ago
- jta example☆15Nov 12, 2015Updated 10 years ago
- Web app for exploring LSTMs.☆17Jun 1, 2017Updated 9 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.
- 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 12 years ago
- ☆16Nov 14, 2023Updated 2 years ago
- Simple, Incremental SAT Solving as a Haskell Library☆15Aug 31, 2016Updated 10 years ago
- modified cutlass☆16Oct 26, 2020Updated 5 years ago
- ☆21Updated this week
- Examples of Envoy proxy☆15Dec 27, 2017Updated 8 years ago
- Next gen captive portal server. Successor to WifiDog☆25Jan 18, 2013Updated 13 years ago
- ☆19Jun 6, 2014Updated 12 years ago
- Reinforcing LLM Reasoning through Self-Training and Value-Guided Decoding☆19May 6, 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.
- A simple environment for writing and experimenting with hand-written CUDA PTX kernels.☆19Sep 11, 2025Updated last year
- ☆23Nov 10, 2011Updated 14 years ago
- Java library and runtime system for efficient state machine replication☆46Jul 21, 2021Updated 5 years ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated 2 years ago
- ☆20Jun 19, 2024Updated 2 years ago
- ZooKeeper server on top of FoundationDB☆25Mar 31, 2021Updated 5 years ago
- IOTA documentation website - PRs welcome!☆25Jan 29, 2019Updated 7 years ago
- Code and data for paper "(How) do Language Models Track State?"☆29Mar 31, 2025Updated last year
- 实验室找工作交流☆10Oct 16, 2015Updated 10 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.
- Manage cisco devices from puppet☆23May 28, 2014Updated 12 years ago
- The Telesign Java SDK lets you easily integrate with our REST API.☆26Jul 3, 2026Updated 2 months ago
- A robust framing and encryption layer for your Go network programs, based on CurveZMQ.☆35Dec 28, 2017Updated 8 years ago
- A "standard library" of Triton kernels.☆26Oct 2, 2025Updated 11 months ago
- ☆32Aug 19, 2023Updated 3 years ago
- ☆11Oct 30, 2020Updated 5 years ago
- 最快速精简的java消息队列,可以比较容易的基于这个项目进行二次开发☆32Dec 14, 2016Updated 9 years ago