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
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last week
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 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
  ☆25Updated 6 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• spacejam / crack
  building blocks and testing tools for reliable systems
  ☆28Updated 7 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆21Updated 8 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• tg339 / Crowe
  This is an actor system, built in Rust, similar to Scala's excellent Akka.
  ☆8Updated 9 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆32Updated 2 months ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 5 months ago
• hwayne / tla.vim
  Vim plugin for TLA+ and PlusCal
  ☆29Updated 3 months ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 5 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 5 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago