Alternatives and similar repositories for disalg-bib-dict:

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

• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated this week
• SJTU-IPADS / vegito
  ☆52Updated last year
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• NYU-NEWS / janus
  ☆50Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆114Updated 2 years ago
• zzy590 / article-code
  知乎文章附带代码
  ☆13Updated 2 years ago
• epfl-labos / TRIAD
  ☆43Updated 3 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆81Updated 2 years ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆73Updated 11 months ago
• JasonYuchen / notes
  reading...
  ☆32Updated 7 months ago
• tidb-incubator / vldbss-2021
  ☆21Updated 3 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 4 years ago
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆88Updated 2 years ago
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 2 weeks ago
• alexandervanrenen / pmembench
  Low level algorithms for persistent memory.
  ☆16Updated 4 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆52Updated 6 months ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• readablesystems / sto
  Software Transactional Objects
  ☆58Updated 11 months ago
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated 11 months ago
• SJTU-IPADS / drtm
  Fast In-memory Transaction Processing using RDMA and HTM
  ☆57Updated 9 years ago
• hpides / viper
  Viper: A hybrid PMem-DRAM Key-Value Store for Persistent Memory (VLDB '21)
  ☆74Updated 3 years ago
• CloudOLTP / Cornus
  ☆21Updated 2 years ago
• jarulraj / n-store
  NVM Evaluation Testbed
  ☆29Updated 6 years ago
• Trinity-data-store / Trinity
  EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"
  ☆18Updated 3 weeks ago
• sfu-dis / ssd-vs-pm
  Cost/performance analysis of index structures on SSD and persistent memory (CIDR 2022)
  ☆36Updated 2 years ago
• mapleFU / mwish-leveldb-notes
  My notes for reading leveldb
  ☆11Updated 11 months 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
• cosmoss-jigu / hydralist
  ☆28Updated 2 years ago
• SymbioticLab / Kayak
  Proactive-adaptive arbitration between shipping compute and shipping data
  ☆18Updated 3 years ago