GitHub repository: vim-scripts/tla.vim
Primary language: VimL
Description: TLA+ specification language