talex5 / tlaLinks
A Dockerfile for building the TLA+ tools
☆13Updated 6 years ago
Alternatives and similar repositories for tla
Users that are interested in tla are comparing it to the libraries listed below
Sorting:
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Updated 2 months ago
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- A lightweight Datalog engine in Rust☆57Updated 4 months ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 9 months ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- The consistent distributed key-value store in Open vStorage.☆29Updated 6 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Search lots of data sets for spurious correlations☆60Updated 3 years ago
- ☆17Updated 10 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Distributed computing library☆35Updated 7 years ago
- A cryptographically verifiable access control and directory system for Linux servers☆55Updated 8 years ago
- A general purpose relational language☆19Updated 5 years ago
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 5 years ago
- Raft consensus algorithm implementation☆32Updated 5 years ago
- A simple JIT library in Rust☆19Updated 10 years ago
- A small DFA for under 16 states☆52Updated 7 years ago
- Parser of ssh public and private keys☆12Updated 5 years ago
- Plugin files for editing K files☆11Updated last year
- Experimental persistent collections in Rust☆45Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A transducer library for Rust☆10Updated 9 years ago