GitHub repository: tlaplus/azure-cosmos-tla
Primary language: TLA
Description: Azure Cosmos TLA+ specifications