Vanlightly/bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
TLAMIT
Stargazers
- aahmed-seAWS
- ashabhasa
- AW14SaurabhAZ, USA
- ccl0326乐言科技
- chsjiang
- denisfitz57
- diegov
- dotnwathttps://redpanda.com
- eleeGitHub
- emaxerrnohttps://redpanda.com
- farleyknightBloomberg
- FlorentinDUBOIS@CleverCloud
- gowthamkUniversity of Colorado Boulder
- ioolkosVerneMQ
- jenrikDenmark
- ligurio
- longfangsongGöteborg, Sverige
- lucazulianMilan, Italy
- m13mBalagh FZE LLC
- markpapadakisPhaistos Networks, S.A
- maxkrieger
- maxtushewskihttps://vk.company/
- msingleInteSource Partners
- mtnygardNubank
- patrickdloganPortland, Oregon, USA
- PierreZ@CleverCloud
- samin-arefin
- smurphy8
- thalesmg
- thomaslMalta+
- timothyklim
- velavokrFirebolt
- yanglJD.com
- ylgrgyqBeijing
- younes-ioParis
- zhangysh1995Tencent