A distributed key-value store with gossip-based replication, Merkle tree anti-entropy repair, vector clock conflict resolution, and tunable quorum.

System Programming in Linux

Vector Clock Implements for Java

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

Tracking changes to data in a distributed system

A Typescript Vector Clock implementation

Logger using logical clocks (Lamport & Vector)

Mechanised Reasoning about Array-Based Trees in Separation Logic

A time synchronization system using vector clocks in a distributed network. The system ensures causal message ordering by tracking events with vector timestamps. Messages are delivered asynchronously, considering network delays and process removals. This simulation demonstrates multicast messaging, event causality, and adaptive synchronization.

Vector Clock implementation with Pipes

Tracking changes in a distributed system

Vector Clock implementation in Go

This repo contains the implementation of the chandy and lamport's snapshot protocol

A distributed chat system implementing Vector Clocks and FIFO message ordering using Socket.io and Express.js. Includes a real-time web interface with sticker support, file uploads, chat clearing, and multi-user coordination.

Application to implement an n-node distributed system that with a vector clock

Distributed operating System

A partial port of Riak's vector clocks to Gleam ✨

some insights and program code for Election Algorithm(Bully and Ring), RPC and RMI, Clock Synchronization(Logical and Vector) and Banker's Deadlock Avoidance Algorithm

PHP implementation of Vector Clock and Lamport timestamp