Projects in Awesome Lists tagged with logical-clock
A curated list of projects in awesome lists tagged with logical-clock .
https://github.com/chugunov/clocks
Time, Clocks, and the Ordering of Events
distributed-systems lamport-clock logical-clock
Last synced: 28 Mar 2025
https://github.com/verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
coq data-race-detection formal-verification generic-tree logical-clock rosetree separation-logic vector-clock
Last synced: 23 Jan 2026
