Repository Index

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

• css
• formatter
• javascript
• jsx

A Language Server for Postgres

• language-server-protocol
• postgres

A language server that offers Lua language support - programmed in Lua

• lua
• language-server
• lpeg
• lpeglabel

Official Haskell IDE support via the language server protocol (LSP)

• lsp-server
• haskell-language-server
• ide
• haskell

An implementation of the Language Server Protocol for LaTeX

• latex
• language-server

JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.

• golang
• linter
• markdown
• ai-generated-code