Alternatives and similar repositories for raft.tla:

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

• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 4 months ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆65Updated 4 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆42Updated 2 years ago
• xxuejie / diviner
  A FoundationDB style deterministic testing framework for async/await Rust
  ☆32Updated 4 years ago
• samrat / rust-linhash
  On-disk hashtable using linear hashing
  ☆10Updated 7 years ago
• spacejam / rsdb
  rust database engineering toolkit
  ☆33Updated 3 years ago
• andrewjstone / ferris
  A hierarchical timer wheel in Rust
  ☆17Updated 6 years ago
• muratdem / HLC
  ☆14Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• pijul-scm / sanakirja
  ☆17Updated 7 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• laysakura / fst-rs
  FST (Fast Succinct Trie) implementation in Rust
  ☆24Updated 5 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆54Updated 3 years ago
• komora-io / cache-advisor
  scan-resistant concurrent lazy LRU
  ☆58Updated last year
• komora-io / optimistic-cell
  ☆18Updated 2 years ago
• acharapko / retroscope-lib
  ☆14Updated 7 years ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• mitchellh / zig-libuv
  Zig bindings for libuv. Also a build script to build libuv from scratch using only Zig (for easy cross-compilation, integration with Zig,…
  ☆18Updated last year
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• srijs / rust-gearhash
  Fast, SIMD-accelerated hash function for content-defined chunking
  ☆23Updated 4 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆44Updated 5 years ago
• komora-io / tiny-lsm
  super simple in-memory blocking LSM for constant-size keys and values
  ☆68Updated 3 weeks ago
• SchrodingerZhu / bench_suite
  ☆20Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆31Updated last year
• graydon / clepsydra
  small distributed database protocol
  ☆31Updated 4 years ago
• ezrosent / art-rs
  Adaptive Radix Tree in Rust
  ☆64Updated 6 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 4 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• nwtnni / paxos
  Distributed consensus protocol for replicated state machines
  ☆61Updated 6 years ago
• tbg / caspaxos-tla
  TLA+ description for the CAS-Paxos algorithm
  ☆12Updated 7 years ago