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,664Updated last month
• Munksgaard / session-types
  ☆568Updated 2 years ago
• tokio-rs / tokio-proto
  A network application framework for Rust
  ☆689Updated 6 years ago
• vmware-archive / haret
  A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
  ☆459Updated 5 years ago
• PumpkinDB / PumpkinDB
  Immutable Ordered Key-Value Database Engine
  ☆1,380Updated 5 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆826Updated 3 years ago
• AdamNiederer / faster
  SIMD for humans
  ☆1,579Updated last year
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,875Updated 8 months ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆493Updated 7 months ago
• pikkr / pikkr
  JSON parser which picks up values directly without performing tokenization in Rust
  ☆634Updated 7 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,849Updated 2 years ago
• rust-crdt / rust-crdt
  a collection of well-tested, serializable CRDTs for Rust
  ☆1,447Updated last year
• edef1c / libfringe
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆521Updated 3 years ago
• Hoverbear / old-raft-rs
  [Incomplete] A Raft implementation in Rust
  ☆268Updated 7 years ago
• facebookarchive / mononoke
  A Mercurial source control server, specifically designed to support large monorepos.
  ☆822Updated 5 years ago
• tokio-rs / tokio-core
  I/O primitives and event loop for async I/O in Rust
  ☆645Updated 4 years ago
• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,586Updated last month
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆608Updated last year
• spacejam / rio
  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
  ☆965Updated 2 years ago
• jameysharp / corrode
  C to Rust translator
  ☆2,170Updated 6 years ago
• murarth / rusti
  REPL for the Rust programming language
  ☆1,324Updated 5 years ago
• alex-shapiro / ditto
  CRDTs for common data structures like maps, vecs, sets, text, and JSON
  ☆481Updated 6 years ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,743Updated this week
• async-raft / async-raft
  An implementation of the Raft distributed consensus protocol using the Tokio framework.
  ☆1,063Updated 2 years ago
• fractalide / fractalide
  Reusable Reproducible Composable Software
  ☆884Updated 3 months ago
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,497Updated 4 years ago
• dpc / mioco.pre-0.9
  Scalable, coroutine-based, asynchronous IO handling library for Rust programming language. (aka MIO COroutines).
  ☆456Updated 7 years ago
• jonhoo / left-right
  A lock-free, read-optimized, concurrency primitive.
  ☆2,001Updated 11 months ago
• bodil / im-rs
  Assorted immutable collection datatypes for Rust
  ☆1,534Updated 10 months ago
• brson / stdx
  The missing batteries of Rust
  ☆2,059Updated 4 months ago