Pinned Loading

1. table-formats-tlaplus table-formats-tlaplus Public

   TLA+ specs for table formats

   TLA 43 9

2. kafka-tlaplus kafka-tlaplus Public

   TLA+ specifications for Kafka related algorithms

   TLA 84 8

3. raft-tlaplus raft-tlaplus Public

   TLA+ specifications for Raft and variants

   TLA 89 10

4. bookkeeper-tlaplus bookkeeper-tlaplus Public

   A TLA+ specification of the Apache BookKeeper replication protocol

   TLA 104 15

5. formal-methods-playground formal-methods-playground Public

   TLA 5 2

6. vsr-tlaplus vsr-tlaplus Public

   TLA+ specifications related to Viewstamped Replication

   TLA 52 5