Alternatives and similar repositories for on-epaxos-correctness:

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

• risingwavelabs / memcomparable
  A memcomparable serialization format.
  ☆23Updated last year
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆67Updated 2 months ago
• xxuejie / diviner
  A FoundationDB style deterministic testing framework for async/await Rust
  ☆32Updated 4 years ago
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 3 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
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆98Updated 5 years ago
• risinglightdb / pretty-xmlish
  Pretty printing library for SQL
  ☆24Updated last year
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• datenlord / r-epaxos
  ☆27Updated 2 years ago
• photondb / photonio
  An efficient runtime for asynchronous applications in Rust.
  ☆43Updated 2 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆77Updated 2 years ago
• TPC-TiKV / rfc
  ☆24Updated 3 years ago
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆142Updated 2 months ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• leiysky / tpch-databend
  TPCH benchmark tool for databend
  ☆10Updated 2 years ago
• skyzh / uring-positioned-io
  Async positioned I/O with io_uring.
  ☆43Updated 4 years ago
• brucechin / Rust-LSM-KV
  build a simple key value store based on LSM tree like rocksdb/leveldb
  ☆40Updated 5 years ago
• MrCroxx / RunKV
  [WIP] An experimental cloud-native distributed KV engine for OLTP workload.
  ☆69Updated 2 years ago
• TennyZhuang / iter-chunks
  A `Send` version of `Iterator::chunks`
  ☆13Updated last year
• tikv / tikv-dev-guide
  The TiKV development/contribution guide
  ☆35Updated 2 years ago
• Little-Wallace / naivedb
  A simple sql server code by rust
  ☆65Updated 3 years ago
• andylokandy / nom-rule
  A procedural macro for defining nom combinators in simple DSL
  ☆45Updated 2 months ago
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 2 months ago
• Lagrang / bztree-rs
  BzTree implementation for Rust
  ☆35Updated last year
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• datafusion-contrib / datafusion-dolomite
  Experimental DataFusion Optimizer
  ☆47Updated last year
• rolag / lockfreehashmap-rs
  A concurrent lock-free hash map for Rust.
  ☆21Updated 4 years ago