Giters

Vanlightly / kafka-tlaplus

TLA+ specifications for Kafka related algorithms

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

kafka-tlaplus

TLA+ specifications for Kafka related algorithms

About

TLA+ specifications for Kafka related algorithms

License:MIT License

Languages

Language:TLA 100.0%