Alternatives and similar repositories for clocks

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

• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆61Updated 8 months ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆47Updated 5 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆79Updated last year
• kshitiz8 / viewstamp-replication
  ☆14Updated 10 years ago
• belliottsmith / accord
  ☆26Updated 3 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 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/…
  ☆25Updated last year
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆92Updated 6 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 9 months ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• otrack / epaxos
  Based on http://efficient.github.io/epaxos (morethan5 branch)
  ☆16Updated 9 months ago
• nvanbenschoten / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆16Updated 2 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆80Updated 3 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆100Updated 6 years ago
• psu-csl / replicated-store
  ☆21Updated 3 weeks ago
• dhanus / lsm-tree
  This is an implementation of a log structure merge tree.
  ☆59Updated 7 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• tidwall / kvbench
  Server for benchmarking pure Go key/value databases
  ☆33Updated 8 years ago
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• AugmentedTimeProject / AugmentedTimeProject
  A project to implement Augmented Time
  ☆50Updated 11 years ago
• kunrenyale / CalvinDB
  Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)
  ☆25Updated 5 years ago
• danchia / ddb
  ☆128Updated 7 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆69Updated 4 months ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 10 years ago