Tombert/TLA-Language-Server-Protocol

An implementation of the Language Server Protocol for TLA+

stars

commits

Aug 22, 2026

updated

README

Language Server Protocol implementation for TLA+, targeting Neovim. Sort of.

I didn't code this by hand. I bothered Claude to do it. If you have a problem with that then that's fine, don't use this.

I have strong opinions on committing AI generated code, so instead I am just giving you the prompt I used. If you want the working code, it is in releases.

The license for this prompt is GPLv3.

3 commits

Hacker News (1)

Rust Glancer: Rust LSP using 100x less RAM

0 points · Aug 22, 2026

Microsoft/vscode-languageserver-protocol

Defines a common protocol for language servers.

13,016

microsoft/language-server-protocol

Defines a common protocol for language servers.

13,016

sublimelsp/LSP

Client implementation of the Language Server Protocol for Sublime Text

1,798

VonHeikemen/lsp-zero.nvim

A starting point to setup some lsp related features in neovim.

3,977

hashicorp/terraform-ls

Terraform Language Server

1,202

Lamy210/LLM_server

bitwisecook/tcl-lsp

An LSP for Tcl 8.4-9.1, F5 iRules, F5 iApps and other Tcl dialects

tlaplus-community/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

README

Language Server Protocol implementation for TLA+, targeting Neovim. Sort of.

I didn't code this by hand. I bothered Claude to do it. If you have a problem with that then that's fine, don't use this.

I have strong opinions on committing AI generated code, so instead I am just giving you the prompt I used. If you want the working code, it is in releases.

The license for this prompt is GPLv3.