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
  ☆24Updated last year
• chenhao-ye / polaris
  Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
  ☆25Updated last year
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• CloudOLTP / Cornus
  ☆21Updated 2 years ago
• BinyuHuang-nju / zab-tla
  Specifying and Verfying Zab using TLA+
  ☆10Updated 3 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• Lingzhi-Ouyang / Remix
  ☆12Updated last month
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆72Updated last year
• SJTU-IPADS / vegito
  ☆53Updated 2 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 4 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated 2 weeks ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆10Updated 4 years ago
• tangruize / tlc-cmd
  Run TLC in cmd
  ☆15Updated last year
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆115Updated 2 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆58Updated last year
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆25Updated last month
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated last year
• tchajed / coq-tla
  ☆26Updated last year
• epfl-dcsl / hovercraft
  ☆14Updated 5 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆82Updated 3 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆50Updated last year
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• viktorleis / vmcache
  ☆70Updated 2 months ago
• thu-pacman / TriCache
  A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs
  ☆73Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆59Updated last month
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆58Updated last month
• LPD-EPFL / swarm-kv
  A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol
  ☆11Updated 8 months ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 8 months ago