Alternatives and similar repositories for tla:

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

• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆25Updated 6 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 4 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• cstorey / hybrid-clocks
  ☆12Updated 3 months ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆37Updated 3 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• spacejam / historian
  ☆22Updated 6 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆78Updated 9 years ago
• sujayakar / rsdict
  ☆48Updated 11 months ago
• tg339 / Crowe
  This is an actor system, built in Rust, similar to Scala's excellent Akka.
  ☆8Updated 8 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• DemiMarie / rusty_scheme
  Very incomplete Scheme interpreter, written in Rust
  ☆23Updated 8 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 3 months ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• mikhail-m1 / linux-perf-file-reader
  Library for parse perf.data file from Linux perf tool for Rust
  ☆18Updated 4 years ago
• thehydroimpulse / rust-fsm
  A Rust Finite State Machine (FSM)
  ☆13Updated 11 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 5 years ago