GitHub repository: ocadaruma/kafka-spec
Primary language: TLA
Created: 2022-01-09T09:29:19Z
Description: TLA+ specs about some Kafka behaviors