jameshfisher / tlaplusLinks
☆33Updated 10 years ago
Alternatives and similar repositories for tlaplus
Users that are interested in tlaplus are comparing it to the libraries listed below
Sorting:
- Scala implementation of the Ctrie datastructure.☆175Updated 3 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 4 years ago
- Work-in-progress sample code related to Bud☆68Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Low-latency Overlog runtime☆18Updated 10 years ago
- A distributed execution engine for cloud computing☆84Updated 13 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- ☆27Updated 11 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- ☆17Updated 10 years ago
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆81Updated 5 months ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Javascript back-end for OCamlc☆134Updated 14 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- ☆15Updated 7 years ago
- Support for static values☆22Updated 11 months ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- A lightweight Datalog engine in Rust☆57Updated 3 months ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Functional, Persistent Data Structures in Rust☆51Updated 10 years ago
- SPREAD☆18Updated 4 years ago
- RRB-tree implemented as a library in C.☆171Updated 10 years ago