4
5
5
| Mentions | Stars | Project | Description |
|---|---|---|---|
| 2 | 5 | A TLA+ specification of the Apache BookKeeper replication protocol | |
| 1 | 707 | A collection of TLA+ specifications of varying complexities | |
| 1 | 89 | TLA+ snippets, operators, and modules contributed and curated by the TLA+ community |
Popular TLA Topics
Latest Mentions
Latest mentioned TLA repos
| Stars | Project |
|---|---|
| 5 | bookkeeper-tlaplus |
| 707 | Examples |
| 89 | CommunityModules |
| 155 | azure-cosmos-tla |
Latest Discoveries
Latest discovered TLA repos
| Stars | Project |
|---|---|
| 5 | bookkeeper-tlaplus |
| 707 | Examples |
| 89 | CommunityModules |
| 155 | azure-cosmos-tla |