Alternatives and similar repositories for clocks:

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

• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆60Updated 6 months ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 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/…
  ☆24Updated last year
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• danchia / ddb
  ☆128Updated 6 years ago
• caetanosauer / fineline-zero
  ☆12Updated 6 years ago
• viktorleis / mmapbench
  ☆137Updated 2 years ago
• hashicorp / raft-fuzzy
  Fuzz Testing for the github.com/hashicorp/raft library
  ☆29Updated 2 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• adambcomer / database-engine
  LSM-Tree Key-Value Store based on RocksDB
  ☆79Updated last year
• mwhittaker / papers
  Paper Summaries
  ☆55Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆100Updated 6 years ago
• mwhittaker / consistency_in_distributed_systems
  Distributed Systems Consistency Reading Group
  ☆41Updated 4 years ago
• umd-dslam / SLOG
  SLOG: Serializable, Low-latency, Geo-replicated Transactions
  ☆45Updated last year
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆91Updated 6 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆79Updated 3 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• imdea-software / swiftpaxos
  Prototype implementation of SwiftPaxos (NSDI 2024)
  ☆17Updated last year
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆39Updated last year
• mit-pdos / go-journal
  Verified, concurrent, crash-safe transaction system
  ☆57Updated 9 months ago
• efficient / HOPE
  Order-preserving key encoder
  ☆122Updated 5 years ago
• despreston / go-craq
  CRAQ (Chain Replication with Apportioned Queries) in Go
  ☆142Updated 3 years ago
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 8 years ago
• gregrahn / sqllogictest
  personal git mirror of sqllogictest
  ☆41Updated 3 months ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆68Updated 2 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• psu-csl / replicated-store
  ☆21Updated 5 months ago