Alternatives and similar repositories for on-epaxos-correctness:

Users that are interested in on-epaxos-correctness are comparing it to the libraries listed below

• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆68Updated 2 months ago
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆143Updated this week
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• risingwavelabs / memcomparable
  A memcomparable serialization format.
  ☆23Updated last year
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 3 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆100Updated 5 years ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• xxuejie / diviner
  A FoundationDB style deterministic testing framework for async/await Rust
  ☆32Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆118Updated 2 months ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 5 years ago
• tikv / yatp
  Yet another thread pool in rust for both callbacks or futures.
  ☆136Updated 7 months ago
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆88Updated 2 years ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 4 months ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• sfu-dis / preemptdb
  Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)
  ☆52Updated 2 weeks ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆79Updated 2 years ago
• photondb / photonio
  An efficient runtime for asynchronous applications in Rust.
  ☆43Updated 2 years ago
• LemonHX / optimistic_lock_coupling_rs
  🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"
  ☆27Updated 3 years ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• datenlord / r-epaxos
  ☆27Updated 2 years ago
• TPC-TiKV / rfc
  ☆24Updated 3 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆52Updated 7 months ago
• jkozlowski / starfish
  Rust futures on spdk
  ☆34Updated 5 years ago
• sunchao / leveldb-rs
  LevelDB: Rust implementation
  ☆80Updated 5 years ago