Vanlightly/kafka-tlaplus

TLA+ specifications for Kafka related algorithms

37 best points · 6 comments · 1 Hacker News post · 90 GitHub stars · View on GitHub

Hacker News discussions

• The Kafka Replication Protocol with KIP-966 (37 points, 6 comments, by tanelpoder, 2025-09-02)