GitHub repository: scuptio/tlaplus-specification
Primary language: TLA
Description: TLA+ specification