A language server that offers Lua language support - programmed in Lua
- lua
- language-server
- lpeg
- lpeglabel
Repository Index
73,862 visible repositories in the index
1–3 of 3 · Most stars
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Language Server Protocol implementation for Ember.js projects
- javascript
- language-server-protocol
- ember
- glimmer