GitHub - hachikuji/kafka-specification: TLA+ specification of the Kafka replication protocol · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.gitignore		.gitignore
AsyncIsr.tla		AsyncIsr.tla
FiniteReplicatedLog.tla		FiniteReplicatedLog.tla
IdSequence.tla		IdSequence.tla
KafkaReplication.tla		KafkaReplication.tla
KafkaTruncateToHighWatermark.tla		KafkaTruncateToHighWatermark.tla
Kip101.tla		Kip101.tla
Kip279.tla		Kip279.tla
Kip320.tla		Kip320.tla
Kip320FirstTry.tla		Kip320FirstTry.tla
Util.tla		Util.tla

About

TLA+ specification of the Kafka replication protocol

89 stars

12 watching

Report repository

Releases

Packages

Contributors

Languages