Alternatives and similar repositories for tla

Users that are interested in tla are comparing it to the libraries listed below

• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆23Updated 3 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆26Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 12 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated last month
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 6 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 9 years ago
• Incubaid / arakoon
  A consistent distributed key-value store
  ☆84Updated 6 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆38Updated 3 years ago
• eholk / rust-stl
  Stereo lithography file support for Rust.
  ☆11Updated last year
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 4 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last month