Alternatives and similar repositories for tla:

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

• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• cstorey / hybrid-clocks
  ☆12Updated last month
• frankmcsherry / columnation
  An experimental columnar arena
  ☆42Updated 3 months ago
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆21Updated last year
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆22Updated 2 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 last month
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• dobkeratops / rustfind
  rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…
  ☆48Updated 7 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 2 months ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• thehydroimpulse / rust-fsm
  A Rust Finite State Machine (FSM)
  ☆13Updated 11 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆25Updated 6 years ago
• birkenfeld / overload-strings
  Haskell OverloadedStrings for Rust
  ☆11Updated 8 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 5 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated this week
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 2 months ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago
• spacejam / historian
  ☆22Updated 5 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆37Updated 3 years ago