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
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆17Updated 10 years ago
- Efficient and customisable compression of short strings☆49Updated 9 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 10 months ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 11 months ago
- establish trust in community repositories, cryptographically signed by library authors☆37Updated this week
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Updated last week
- The consistent distributed key-value store in Open vStorage.☆29Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Raft consensus algorithm implementation☆32Updated 5 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- Jane Street Capital's standard library overlay☆37Updated 2 weeks ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆26Updated 10 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago