AlphaUncommon
Apress/practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
- Owner
- Apress (organization)
- Stars
- Stars: 300
- Forks
- Forks: 70
- Language
- TLA
- License
- None
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Apress
All 74 repos by Apress- Apress/ray-tracing-gemsStars: 1,041CBeta
- Apress/Ray-Tracing-Gems-IIStars: 950C++Beta
- Apress/low-level-programmingStars: 894AssemblyBeta
- Apress/design-patterns-in-modern-cppStars: 575C++Alpha
- Apress/pro-spring-5Stars: 403JavaScriptAlpha
- Apress/pro-asp.net-core-mvc-2Stars: 378HTMLAlpha
Nearby in TLA
All TLA repos- lemmy/BlockingQueueStars: 507TLAAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- pingcap/tla-plusStars: 314TLAAlpha
- Azure/azure-cosmos-tlaStars: 298TLAAlpha
- hwayne/learntla-v2Stars: 278TLAAlpha
- DistCompiler/pgoStars: 212TLAPrototype