salesforce / runway-compiler
Parses and executes Runway models of distributed systems
☆50Updated 3 years ago
Alternatives and similar repositories for runway-compiler:
Users that are interested in runway-compiler are comparing it to the libraries listed below
- TLA+ specification of Flexible Paxos☆40Updated last year
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- A TLA+ module for animating TLC traces.☆46Updated 4 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 6 months ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 2 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Reproducing a bug in the Glibc condition variables using TLA+☆11Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- Safely trading off consistency for performance.☆12Updated 5 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- CS 733 assignments☆25Updated 10 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Backtrace.io's resilient log record framing format