Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

Vanlightly/bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

Owner: Vanlightly (personal account)
Stars: Stars: 104
Forks: Forks: 15
Language: TLA
License: MIT
Created: 2021
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in TLA

hwayne/learntla-v2Stars: 278TLAAlpha
DistCompiler/pgoStars: 213TLAPrototype
vignesh07/clawdbot-formal-modelsStars: 198TLAPrototype