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
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Updated last month
- A general purpose relational language☆19Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- A lightweight Datalog engine in Rust☆57Updated 5 months ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 7 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 11 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- A small DFA for under 16 states☆53Updated 7 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- ☆17Updated 10 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 11 months ago
- Raft consensus algorithm implementation☆31Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Distributed computing library☆34Updated 7 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Jupyter kernel for TLA⁺☆120Updated 3 years ago
- a small C++ lattice library☆15Updated 5 years ago
- The consistent distributed key-value store in Open vStorage.☆29Updated 6 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Haskell binding for PADS☆20Updated 6 years ago