Alternatives and similar repositories for sedeve-kit

Users that are interested in sedeve-kit are comparing it to the libraries listed below

• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆25Updated last year
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆11Updated 5 years ago
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆117Updated 2 years ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆74Updated last year
• readablesystems / sto
  Software Transactional Objects
  ☆57Updated last year
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆60Updated 5 months ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆59Updated 3 weeks ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 5 years ago
• SJTU-IPADS / vegito
  ☆53Updated 2 years ago
• chenhao-ye / polaris
  Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
  ☆26Updated 2 years ago
• Lingzhi-Ouyang / Remix
  ☆12Updated 6 months ago
• CloudOLTP / Cornus
  ☆22Updated 3 years ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆26Updated last year
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆199Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆83Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated 2 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• asu-idi / CaaS-LSM
  [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure
  ☆70Updated last year
• cuckoo-trie / cuckoo-trie-code
  ☆54Updated last year
• dranov / raft-tla
  ☆21Updated 3 years ago
• alg-nju / disalg-bib-dict
  ☆11Updated 10 months ago
• yxymit / DBx1000
  ☆290Updated 2 years ago
• tangruize / tlc-cmd
  Run TLC in cmd
  ☆15Updated last year
• viktorleis / mmapbench
  ☆141Updated 3 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆12Updated 3 months ago
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆45Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated last year