awesome-tlaplus
github.com/kaelzhang81/awesome-tlaplus ↗A curated list of TLA+ resources.
69
GitHub Stars
37
Curated Resources
5
Categories
2 hours ago
Last Refreshed
WebSiteblogsTLA+ CasesTLA+ Video ResourcesTLA+ Example
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me tla+ example resources from awesome-tlaplus"
Installation instructions →What's inside
TLA+ Cases
- AWS and TLA+
Use of Formal Methods at Amazon Web Services
- Bank Transfer (H)
Specifying a bank transfer with overdraft protection.
- Batch Installer (H)
Sending async batches of commands.
- Detecting Linked-List Cycles
Finding cycles in linked lists.
- Finding bugs in systems through formalization
Ensuring distributed jobs go from “pending” to “completed”.
- Rate Limiter (H)
Independent workers hitting a rate-limited API.
TLA+ Video Resources
Showing a sample of 37 resources. View the full list on GitHub →