#

logical-clock

Here are 5 public repositories matching this topic...

yadavpa1 / Distributed-Systems

Implementations of Lamport clock, Vector clock, Logical clock, and the Raymond Tree Algorithm for mutual exclusion in distributed systems.

lamport-clock vector-clock logical-clock raymond-tree-algorithm

Updated Jul 26, 2020
Java

gsharma / hybrid-logical-clock

Hybrid logical clocks

causality hybrid-logical-clocks logical-clock

Updated Sep 29, 2019

hybrid-logical-clock

sovereignbase / hybrid-logical-clock

A timestamp model for ordering asynchronous events idempotently.

distributed-systems typescript replication hlc crdt timestamp distributed-system logical-time logical-clock uuidv7 sovereignbase causal-time

Updated Jun 13, 2026
JavaScript

chugunov / clocks

Time, Clocks, and the Ordering of Events

distributed-systems lamport-clock logical-clock

Updated Jul 15, 2024
Go

verse-lab / arboreta

Mechanised Reasoning about Array-Based Trees in Separation Logic

coq formal-verification separation-logic vector-clock rosetree generic-tree logical-clock data-race-detection

Updated Jan 6, 2024
Coq

Improve this page

Add a description, image, and links to the logical-clock topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logical-clock topic, visit your repo's landing page and select "manage topics."