Client implementation of the Language Server Protocol for Sublime Text

Async completion framework made ease.

Interactive architecture diagrams for codebases

multilspy is a lsp client library in Python intended to be used to build applications around language servers.

fortls - Fortran Language Server

Lean Theorem Prover MCP

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

biscuit is a fast, extensible, native code editor with agents. lightweight <20 mb in size. install and start using in seconds.

Robocorp extensions for VS Code: Robocorp Code and RFW LSP

A differentiable version of SPTK

LSP client implementation in Python

SwiftLens is a Model Context Protocol (MCP) server that provides deep, semantic-level analysis of Swift codebases to any AI models. By integrating directly with Apple's SourceKit-LSP, SwiftLens enables AI models to understand Swift code with compiler-grade accuracy.

Use any language server with YouCompleteMe.

LSP helper for ruff - an extremely fast Python linter, written in Rust.

Rich IDE support for Workflow Description Language

Python client to interact with the lean4 language server.

A language server based on gtags

Bash support for Sublime's LSP plugin provided through bash-language-server.

An Experimental Cloudformation language server