GitHub repository: 4ment/flc
Primary language: Java
Description: Local clock model using relaxed and strict clocks