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. …as imperative code, and part of the Raft excursion involved writing a TLA+ proof of the protocol. https://github.com/ongardie/raft.tla
    comment by meltyness · 2025-04-14 · in Functional Programming Lessons Conclusion
  2. …is great. The other biggest help to me aside from the paper and the thesis was Ongaro's TLA+ spec: https://github.com/ongardie/raft.tla/blob/master/raft.tla . It's the only super concise "implementation" I found that is free of…
    comment by eatonphil · 2024-09-27 · in Raft: Understandable Distributed Consensus (2014)
  3. For those interested in this sort of thing, see also Raft's TLA+ specification: https://github.com/ongardie/raft.tla
    comment by thamer · 2023-10-30 · in Introduction to CURP Protocol
  4. couldn't figure out how to run https://github.com/ongardie/raft.tla
    comment by awinter-py · 2017-07-09 · in Verdi – Formally Verifying Distributed Systems (2016)