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 |