Alternatives and similar repositories for disalg-bib-dict:

Users that are interested in disalg-bib-dict are comparing it to the libraries listed below

• SJTU-IPADS / vegito
  ☆52Updated last year
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆112Updated last year
• epfl-labos / TRIAD
  ☆43Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 9 months ago
• NYU-NEWS / janus
  ☆50Updated 10 months ago
• SJTU-IPADS / drtm
  Fast In-memory Transaction Processing using RDMA and HTM
  ☆57Updated 9 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆51Updated 4 months ago
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated 9 months ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated last month
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 4 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆58Updated 9 months ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 3 years ago
• ramanala / PACE
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Updated 8 years ago
• tidb-incubator / vldbss-2021
  ☆22Updated 3 years ago
• columbia / crane
  Transparent Paxos
  ☆43Updated 5 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆99Updated 8 years ago
• yuxiamit / DBx1000_logging
  The logging module of the DBx1000 database.
  ☆15Updated 4 years ago
• mapleFU / mwish-leveldb-notes
  My notes for reading leveldb
  ☆11Updated 9 months ago
• zzy590 / article-code
  知乎文章附带代码
  ☆12Updated 2 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆80Updated 2 years ago
• HaoyuHuang / NovaLSM
  Nova-LSM is a component-based design of the LSM-tree using fast and high bandwidth networks such as RDMA.
  ☆52Updated 3 years ago
• derFischer / Polyjuice
  ☆34Updated 2 years ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆72Updated 9 months ago
• yxymit / s3filter
  ☆19Updated last year
• a993096281 / YCSB-HWDB
  YCSB-C for HWDB!
  ☆18Updated 4 years ago
• evanj / tpccbench
  In memory TPC-C implementation. Used for a number of database research projects.
  ☆37Updated 4 years ago
• stonysystems / depfast-ae
  ☆18Updated 3 weeks ago
• zingdle / SIGMOD2020-MonetDB-Bindex
  BinDex: A Two-Layered Index for Fast and Robust Scans (SIGMOD2020)
  ☆10Updated 4 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 8 years ago
• cosmoss-jigu / hydralist
  ☆27Updated 2 years ago