Alternatives and similar repositories for tla:

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

• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆32Updated last month
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆38Updated 3 years ago
• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆25Updated 6 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated last year
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 5 months ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 7 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• thehydroimpulse / rust-fsm
  A Rust Finite State Machine (FSM)
  ☆13Updated 11 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 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
• cstorey / hybrid-clocks
  ☆12Updated 4 months ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• hmwill / vervolg
  SQL front-end in Rust
  ☆14Updated 3 years ago
• mirage / ocaml-lazy-trie
  Lazy prefix trees in OCaml
  ☆23Updated 5 years ago
• spacejam / historian
  ☆22Updated 6 years ago
• 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
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago