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 9 months ago
• risingwavelabs / memcomparable
  A memcomparable serialization format.
  ☆24Updated 2 years ago
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 3 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆104Updated 5 years ago
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆170Updated last month
• tikv / yatp
  Yet another thread pool in rust for both callbacks or futures.
  ☆138Updated last year
• photondb / photonio
  An efficient runtime for asynchronous applications in Rust.
  ☆43Updated 2 years ago
• xxuejie / diviner
  A FoundationDB style deterministic testing framework for async/await Rust
  ☆32Updated 5 years ago
• jkozlowski / starfish
  Rust futures on spdk
  ☆33Updated 6 years ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆44Updated 2 months ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆65Updated 4 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆44Updated 5 years ago
• LemonHX / optimistic_lock_coupling_rs
  🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"
  ☆28Updated 4 years ago
• zowens / paxos-rs
  Paxos implementation in Rust
  ☆78Updated last month
• ezrosent / art-rs
  Adaptive Radix Tree in Rust
  ☆67Updated 7 years ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆141Updated 2 years ago
• sunchao / leveldb-rs
  LevelDB: Rust implementation
  ☆81Updated 6 years ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆125Updated 8 months ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆62Updated 3 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• jonhoo / bustle
  A benchmarking harness for concurrent key-value collections
  ☆118Updated 2 years ago
• rolag / lockfreehashmap-rs
  A concurrent lock-free hash map for Rust.
  ☆21Updated 4 years ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 8 years ago
• skyzh / uring-positioned-io
  Async positioned I/O with io_uring.
  ☆44Updated 4 years ago
• nano-o / MultiPaxos
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Updated 2 years ago
• faster-rs / faster-rs
  Experimental Rust wrapper for FASTER by Microsoft Research
  ☆55Updated 5 years ago
• saligrama / concache
  A linked-list based, lock-free concurrent hashmap in Rust.
  ☆164Updated 5 years ago
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 4 years ago