Hacker GitHub

← All repos

ongardie/raft.tla

View on GitHub ↗ ★ 529 TLA

TLA+ specification for the Raft consensus algorithm

5 mentions on Hacker News by 4 people: 1 story, 4 comments · first 2017-07-09 · latest 2025-04-14

Mentions per year 5 mentions · busiest year 2023 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    TLA+ specification for the Raft consensus algorithm
    story by eatonphil · 2023-04-26 · 0 comments