AlphaUncommon
Azure/azure-cosmos-tla
Azure Cosmos TLA+ specifications
- Owner
- Azure (organization)
- Stars
- Stars: 298
- Forks
- Forks: 51
- Language
- TLA
- License
- MIT
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Azure
All 399 repos by Azure- Azure/azure-quickstart-templatesStars: 14,899BicepStable
- Azure/Azure-SentinelStars: 6,238HTMLStable
- Azure/azure-sdk-for-netStars: 6,076C#Stable
- Azure/azure-sdk-for-pythonStars: 5,623PythonStable
- Azure/azure-powershellStars: 4,807C#RC
- Azure/autorestStars: 4,790TypeSpecRC
Nearby in TLA
All TLA repos- tlaplus/CommunityModulesStars: 318TLAAlpha
- pingcap/tla-plusStars: 314TLAAlpha
- Apress/practical-tla-plusStars: 300TLAAlpha
- hwayne/learntla-v2Stars: 278TLAAlpha
- DistCompiler/pgoStars: 213TLAPrototype
- vignesh07/clawdbot-formal-modelsStars: 198TLAPrototype