Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-tlaplus

A curated list of TLA+ resources.
https://github.com/kaelzhang81/awesome-tlaplus

Last synced: 1 day ago
JSON representation

TLA+ Cases
- AWS and TLA+
- Batch Installer (H)
- Redux (H)
- Zero Downtime Deployments (H)
- Replicated Storage
- Rate Limiter (H) - limited API. |
- Thread Pool (T)
- Bank Transfer (H)
- Finding bugs in systems through formalization
TLA+ Video Resources
- The TLA+ Video Course
- Debugging software designs using testable pseudo-code (TLA+)
TLA+ Example

Categories

TLA+ Example 17 TLA+ Cases 9 TLA+ Video Resources 2

Sub Categories