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,618Updated 5 months ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆813Updated 3 years ago
• AdamNiederer / faster
  SIMD for humans
  ☆1,574Updated last year
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,842Updated 6 months ago
• vmware-archive / haret
  A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
  ☆459Updated 5 years ago
• Munksgaard / session-types
  ☆564Updated 2 years ago
• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,521Updated 2 weeks ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,833Updated last year
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,666Updated 2 weeks ago
• PumpkinDB / PumpkinDB
  Immutable Ordered Key-Value Database Engine
  ☆1,377Updated 5 years ago
• spacejam / rio
  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
  ☆947Updated 2 years ago
• rust-crdt / rust-crdt
  a collection of well-tested, serializable CRDTs for Rust
  ☆1,421Updated 9 months ago
• facebookarchive / mononoke
  A Mercurial source control server, specifically designed to support large monorepos.
  ☆822Updated 5 years ago
• bodil / im-rs
  Assorted immutable collection datatypes for Rust
  ☆1,517Updated 7 months ago
• tokio-rs / tokio-proto
  A network application framework for Rust
  ☆690Updated 6 years ago
• jameysharp / corrode
  C to Rust translator
  ☆2,167Updated 6 years ago
• pikkr / pikkr
  JSON parser which picks up values directly without performing tokenization in Rust
  ☆633Updated 7 years ago
• murarth / rusti
  REPL for the Rust programming language
  ☆1,324Updated 5 years ago
• brson / stdx
  The missing batteries of Rust
  ☆2,046Updated last month
• alex-shapiro / ditto
  CRDTs for common data structures like maps, vecs, sets, text, and JSON
  ☆476Updated 6 years ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,626Updated 7 months ago
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,272Updated this week
• tokio-rs / tokio-core
  I/O primitives and event loop for async I/O in Rust
  ☆643Updated 4 years ago
• jonhoo / left-right
  A lock-free, read-optimized, concurrency primitive.
  ☆1,980Updated 8 months ago
• seppo0010 / rsedis
  Redis re-implemented in Rust.
  ☆1,781Updated 9 months ago
• Hoverbear / old-raft-rs
  [Incomplete] A Raft implementation in Rust
  ☆267Updated 7 years ago
• edef1c / libfringe
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆518Updated 3 years ago
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,901Updated 2 weeks ago
• Marwes / combine
  A parser combinator library for Rust
  ☆1,315Updated last month
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆601Updated 10 months ago