TLA+ specification of Fast Flexible Paxos
☆17Oct 9, 2020Updated 5 years ago
Alternatives and similar repositories for ffpaxos-tlaplus
Users that are interested in ffpaxos-tlaplus are comparing it to the libraries listed below
Sorting:
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆27Feb 26, 2024Updated 2 years ago
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- GPT2 Inference Implementation in Pure C☆31Jun 23, 2025Updated 8 months ago
- Diagrams as text tool for visualizing concurrent operation histories☆23Feb 12, 2025Updated last year
- Jepsen and Elle based Consistency Checking Interface☆20Feb 3, 2022Updated 4 years ago
- MQTT Broker - for IoT, DIY, pubsub applications and more☆26Apr 20, 2017Updated 8 years ago
- C++ driver to evaluate updates and analytics on dynamic structural graphs☆27Feb 14, 2022Updated 4 years ago
- A collection of state machine replication protocols☆121Dec 8, 2022Updated 3 years ago
- Demonstration of Don't lose your ETS Tables☆70Apr 24, 2013Updated 12 years ago
- Next platform mono repo☆11Updated this week
- A Swiss Army knife for read-write quorum systems☆86Jun 7, 2021Updated 4 years ago
- pstore, a high-performance, read-optimized database system.☆26Nov 14, 2013Updated 12 years ago
- ☆34Mar 1, 2026Updated last week
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆173Mar 28, 2024Updated last year
- Provides a simple in-memory POJO Multi Version Concurrency Control (MVCC) cache☆47Dec 19, 2013Updated 12 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Apr 23, 2023Updated 2 years ago
- ☆11Oct 7, 2022Updated 3 years ago
- For "Functional legacy - how to incorporate ZIO in your legacy services" talk☆10Dec 2, 2020Updated 5 years ago
- ☆13Aug 22, 2025Updated 6 months ago
- Cross platform stackful task/coroutine library☆11Apr 14, 2022Updated 3 years ago
- Pulsar consumer clients offering priority consumption☆12Mar 17, 2023Updated 2 years ago
- Elixir library for running cron-based scheduled jobs on your Erlang cluster☆15Oct 23, 2020Updated 5 years ago
- A concurrent task-runner that automatically resolves dependency issues☆13Mar 5, 2018Updated 8 years ago
- Command-line utility for iteratively developing pipelines, deploying them at scale, and sharing data and derivatives☆10Jun 15, 2020Updated 5 years ago
- Multi agent system☆10Apr 28, 2015Updated 10 years ago
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Python MQTT Client for connecting devices to the Losant IoT Platform☆10Mar 6, 2025Updated last year
- ☆11Apr 24, 2018Updated 7 years ago
- Implementation of GuP [Arai+ SIGMOD'23]☆10Jan 10, 2024Updated 2 years ago
- Image/video processing proxy with static asset caching☆12Nov 7, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Java wrapper for the ZIO scala library☆11Mar 31, 2021Updated 4 years ago
- moved to☆10Oct 10, 2025Updated 4 months ago
- Kai is a distributed key-value datastore mainly inspired by Amazon's Dynamo. (fork from sourceforge)☆20Mar 21, 2011Updated 14 years ago
- A tutorial on how to use pulsar-spark-connector☆11Oct 13, 2020Updated 5 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- A pure ruby client for Apache Pulsar☆13Oct 1, 2025Updated 5 months ago
- Query, analysis, and visualization of large video collections☆10Dec 9, 2022Updated 3 years ago