lsp-client

Here are 9 public repositories matching this topic...

microsoft / monitors4codegen

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.

ai code-analysis language-server-protocol program-synthesis artificial-intelligence dataset transformer code-generation codegen code-completion lsp neurips language-server-client lsp-client huggingface-transformers large-language-models ai4code llm neurips-2023

Updated Aug 8, 2024
Python

microsoft / multilspy

Star

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

ai code-analysis language-server-protocol program-synthesis artificial-intelligence transformer code-generation codegen code-completion lsp neurips language-server-client lsp-client huggingface-transformers large-language-models ai4code llm large-language-model neurips-2023

Updated Oct 21, 2024
Python

sr-lab / coqpyt

Star

Python client for coq-lsp

coq language-server-protocol lsp-client

Updated Oct 18, 2024
Python

WolframResearch / Sublime-WolframLanguage

Star

Official Sublime Text package for Wolfram Language

editor sublime-text ide language-server-protocol mathematica wolfram-language lsp-server lsp-client sublime-text-4

Updated Feb 12, 2024
Python

LDAP / LSP-ltex-ls

Star

Convenience package for the LTeX Language Server (Spell/Grammar check for LaTex and Markdown)

markdown latex sublime-text lsp-client

Updated Feb 13, 2023
Python

swissiety / LspLexer4Pygments

Star

enable Pygments to leverage a LSP server - more precisely LSPs SemanticToken Request feature - for syntax highlighting

syntax-highlighting pygments mkdocs pygments-lexer lsp lsp-client

Updated Dec 14, 2023
Python

tomlin7 / tarts

Star

Client implementation of the Language Server Protocol (https://microsoft.github.io/language-server-protocol) that is used in IDEs, editors and other tools to provide language features like auto-completions, hovers, goto-definition, etc.

language-server language-server-protocol lsp language-server-client lsp-client