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