Alternatives and similar repositories for simdistsys

Users that are interested in simdistsys are comparing it to the libraries listed below

• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆101Updated 6 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆69Updated 2 years ago
• spacejam / paxos
  simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
  ☆140Updated 5 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆66Updated 4 years ago
• tbg / hlc-rs
  hybrid logical clock for Rust
  ☆21Updated 9 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 4 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆60Updated 4 months ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆72Updated 4 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Updated 9 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆43Updated 5 years ago
• ezrosent / art-rs
  Adaptive Radix Tree in Rust
  ☆67Updated 7 years ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆87Updated 5 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• lalithsuresh / rapid
  Rapid is a scalable distributed membership service
  ☆134Updated 2 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 5 years ago
• polachok / liburing-sys
  raw bindings for git://git.kernel.dk/liburing
  ☆16Updated 5 years ago
• crossbeam-rs / crossbeam-skiplist
  Concurrent skip list
  ☆24Updated 6 years ago
• apache / cassandra-harry
  Harry for Apache Cassandra®
  ☆54Updated 11 months ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆103Updated 5 years ago
• wgolab / WatCA
  The Waterloo Consistency Analyzer
  ☆15Updated 4 years ago
• danburkert / wal
  Write Ahead Logging for Rust
  ☆25Updated 8 years ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆17Updated 4 years ago
• sile / hyparview
  A Rust implementation of HyParView algorithm
  ☆30Updated 6 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆47Updated 5 years ago
• crossbeam-rs / crossbeam-epoch
  Epoch-based garbage collection
  ☆81Updated 6 years ago