Alternatives and similar repositories for tla-rust:

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

• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,612Updated 4 months ago
• PumpkinDB / PumpkinDB
  Immutable Ordered Key-Value Database Engine
  ☆1,378Updated 4 years ago
• Munksgaard / session-types
  ☆558Updated 2 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆812Updated 3 years ago
• vmware-archive / haret
  A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
  ☆460Updated 5 years ago
• rust-crdt / rust-crdt
  a collection of well-tested, serializable CRDTs for Rust
  ☆1,407Updated 8 months ago
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,829Updated 4 months ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,822Updated last year
• jameysharp / corrode
  C to Rust translator
  ☆2,164Updated 5 years ago
• bodil / im-rs
  Assorted immutable collection datatypes for Rust
  ☆1,513Updated 6 months ago
• spacejam / rio
  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
  ☆945Updated 2 years ago
• pikkr / pikkr
  JSON parser which picks up values directly without performing tokenization in Rust
  ☆633Updated 7 years ago
• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,481Updated last year
• tokio-rs / tokio-proto
  A network application framework for Rust
  ☆690Updated 6 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆491Updated 3 months ago
• alex-shapiro / ditto
  CRDTs for common data structures like maps, vecs, sets, text, and JSON
  ☆475Updated 6 years ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,637Updated this week
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆597Updated 9 months ago
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,204Updated this week
• AdamNiederer / faster
  SIMD for humans
  ☆1,572Updated last year
• jonhoo / left-right
  A lock-free, read-optimized, concurrency primitive.
  ☆1,977Updated 7 months ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,624Updated 6 months ago
• murarth / rusti
  REPL for the Rust programming language
  ☆1,323Updated 5 years ago
• async-raft / async-raft
  An implementation of the Raft distributed consensus protocol using the Tokio framework.
  ☆1,050Updated 2 years ago
• fractalide / fractalide
  Reusable Reproducible Composable Software
  ☆880Updated 7 months ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,366Updated this week
• orium / rpds
  Rust persistent data structures
  ☆1,374Updated 3 weeks ago
• facebookarchive / mononoke
  A Mercurial source control server, specifically designed to support large monorepos.
  ☆822Updated 5 years ago
• brson / stdx
  The missing batteries of Rust
  ☆2,042Updated last week
• Hoverbear / old-raft-rs
  [Incomplete] A Raft implementation in Rust
  ☆266Updated 7 years ago