28
33
45
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 7 | 1,239 | A collection of TLA⁺ specifications of varying complexities | |
| 1 | 777 | Dr. TLA+ series - learn an algorithm and protocol, study a specification | |
| 1 | 481 | Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history! | |
| 2 | 441 | TLA+ specification for the Raft consensus algorithm | |
| 1 | 288 | ||
| 3 | 262 | TLA+ snippets, operators, and modules contributed and curated by the TLA+ community | |
| 2 | 259 | Azure Cosmos TLA+ specifications | |
| 2 | 173 | Learn TLA+ for free! No prior experience necessary! | |
| 2 | 170 | PGo is a source to source compiler from Modular PlusCal specs into Go programs. | |
| 2 | 99 | A TLA+ specification of the Apache BookKeeper replication protocol | |
| 1 | 63 | Interactive, web-based environment for exploring TLA+ specifications. | |
| 2 | 46 | Distributed termination detection on a ring, due to Shmuel Safra: | |
| 1 | 33 | TLA+ modules, specifications, and models for Radix trees. | |
| 1 | 24 | Tests with PlusCal / TLA+ | |
| 1 | 22 | TLA+ questions, answers, and experiments | |
| 1 | 22 | Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC | |
| 1 | 20 | TLA+ specification of the Ceph consensus algorithm | |
| 1 | 18 | ||
| 1 | 18 | A formal specification of snapshot isolation. | |
| 1 | 11 | TLA+ specification for the Raft consensus algorithm |
Popular TLA Topics
Latest Mentions
Latest mentioned TLA repos
| Stars | Project |
|---|---|
| 441 | raft.tla |
| 18 | just-in-time-paxos |
| 1,239 | Examples |
| 2 | onos-tlaplus |
| 1 | workflows-framework |
| 46 | ewd998 |
| 18 | snapshot-isolation-spec |
| 259 | azure-cosmos-tla |
| 24 | pluscal |
| 170 | pgo |
| 173 | learntla-v2 |
| 0 | ssd_experiment |
| 262 | CommunityModules |
| 63 | tla-web |
| 777 | DrTLAPlus |
| 481 | BlockingQueue |
| 33 | cross-chain-validation |
| 22 | TLAPLUS_DeadlockEmpire |
| 1 | river-crossing-spec |
| 7 | advent-of-tla |
Latest Discoveries
Latest discovered TLA repos
| Stars | Project |
|---|---|
| 18 | just-in-time-paxos |
| 2 | onos-tlaplus |
| 1 | workflows-framework |
| 441 | raft.tla |
| 46 | ewd998 |
| 18 | snapshot-isolation-spec |
| 24 | pluscal |
| 173 | learntla-v2 |
| 170 | pgo |
| 0 | ssd_experiment |
| 63 | tla-web |
| 777 | DrTLAPlus |
| 481 | BlockingQueue |
| 22 | TLAPLUS_DeadlockEmpire |
| 1 | river-crossing-spec |
| 7 | advent-of-tla |
| 33 | tlaplus-radix-tree |
| 11 | raft.tla |
| 0 | tlaplus |
| 33 | cross-chain-validation |
Recently updated posts
-
Just-in-Time Paxos
-
Suggestions for model checking?
-
Temporal property not violated when expected
-
TLA+ specification for the Raft consensus algorithm
-
How to specify "After P is true, Q is always true"?