Alternatives and similar repositories for clocks

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

• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆81Updated 2 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 3 years ago
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆94Updated 6 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆85Updated 4 years ago
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆64Updated last year
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆130Updated last year
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Updated last year
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 6 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆506Updated 11 months ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆86Updated 4 years ago
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆63Updated 5 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆172Updated last year
• danchia / ddb
  ☆132Updated 7 years ago
• jepsen-io / mongodb
  MongoDB Jepsen tests
  ☆25Updated 2 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆86Updated last year
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆51Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆214Updated 11 months ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆41Updated 4 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 6 years ago
• eBay / Jungle
  An embedded key-value store library specialized for building state machine and log store
  ☆237Updated 3 weeks ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆41Updated 2 years ago
• elem-azar-unis / CRDT-Redis
  CRDTs implemented in Redis
  ☆54Updated 2 years ago
• nvb / paxos
  A pluggable implementation of the Paxos Consensus Protocol
  ☆24Updated 8 years ago
• uchicago-cs / chidb
  ☆68Updated 3 years ago
• pingcap / tla-plus
  ☆305Updated last year