spacejam / tla-rust

Related projects ⓘ

Alternatives and complementary repositories for tla-rust

• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,579Updated last month
• Munksgaard / session-types
  ☆556Updated last year
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆801Updated 2 years ago
• vmware-archive / haret
  A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
  ☆461Updated 4 years ago
• spacejam / rio
  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
  ☆940Updated 2 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,803Updated last year
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,790Updated last month
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,586Updated last week
• rust-crdt / rust-crdt
  a collection of well-tested, serializable CRDTs for Rust
  ☆1,375Updated 5 months ago
• AdamNiederer / faster
  SIMD for humans
  ☆1,563Updated last year
• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,422Updated 11 months ago
• pikkr / pikkr
  JSON parser which picks up values directly without performing tokenization in Rust
  ☆632Updated 7 years ago
• jameysharp / corrode
  C to Rust translator
  ☆2,157Updated 5 years ago
• bodil / im-rs
  Assorted immutable collection datatypes for Rust
  ☆1,499Updated 3 months ago
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,134Updated last week
• alex-shapiro / ditto
  CRDTs for common data structures like maps, vecs, sets, text, and JSON
  ☆476Updated 6 years ago
• tokio-rs / tokio-proto
  A network application framework for Rust
  ☆692Updated 6 years ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,145Updated 2 months ago
• facebookarchive / mononoke
  A Mercurial source control server, specifically designed to support large monorepos.
  ☆822Updated 4 years ago
• jonhoo / left-right
  A lock-free, read-optimized, concurrency primitive.
  ☆1,954Updated 4 months ago
• orium / rpds
  Rust persistent data structures
  ☆1,261Updated last week
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,618Updated 3 months ago
• PumpkinDB / PumpkinDB
  Immutable Ordered Key-Value Database Engine
  ☆1,377Updated 4 years ago
• edef1c / libfringe
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆512Updated 3 years ago
• brson / stdx
  The missing batteries of Rust
  ☆2,029Updated 4 years ago
• async-raft / async-raft
  An implementation of the Raft distributed consensus protocol using the Tokio framework.
  ☆1,036Updated last year
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,488Updated 4 years ago
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,846Updated 3 weeks ago
• nbp / holyjit
  Generic purpose Just-In-time compiler for Rust.
  ☆1,510Updated 5 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!
  ☆487Updated 3 weeks ago