Alternatives and similar repositories for Mocket

Users that are interested in Mocket are comparing it to the libraries listed below

• scuptio / sedeve-kit
  In Spec We Trust
  ☆37Updated last month
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• dranov / raft-tla
  ☆21Updated 3 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
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆45Updated 2 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆199Updated last year
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆117Updated 2 years ago
• chenhao-ye / polaris
  Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
  ☆25Updated 2 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆73Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆83Updated 3 years ago
• Thesys-lab / sosp23-s3fifo
  The repo for SOSP23 paper: FIFO queues are all you need for cache evictions
  ☆125Updated last year
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆58Updated 11 months ago
• imdea-software / swiftpaxos
  Prototype implementation of SwiftPaxos (NSDI 2024)
  ☆19Updated last year
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆119Updated 2 years ago
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆37Updated 3 months ago
• NYU-NEWS / janus
  ☆51Updated last year
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆82Updated 3 years ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• hengxin / tlaplus-at-nju-disalg
  Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
  ☆12Updated 3 years ago
• scalog / scalog
  reimplementing scalog from scratch
  ☆31Updated 4 years ago
• abhisharma7 / WiscKey
  Key Value Store based on LevelDB
  ☆114Updated 3 years ago
• CloudOLTP / Cornus
  ☆22Updated 2 years ago
• belliottsmith / accord
  ☆28Updated 3 years ago
• ramanala / PACE
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Updated 8 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆38Updated 4 years ago
• XiangpengHao / bf-tree-docs
  Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index
  ☆58Updated 11 months ago
• purduedb / OpenAurora
  OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …
  ☆96Updated 3 weeks ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆128Updated last year