125 Open source projects that are alternatives of or similar to agda-language-server

agda-mode on VS Code

Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.

Better code navigation on GitHub: Usages, Definitions and Files Tree on code pages and pull requests

Documentation and issues for Pylance

A Swift library for interacting with Language Server Protocol implementations

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

PHP intellisense for Visual Studio Code

An implementation of the Microsoft Language Server Protocol for the julia language.

🐍 Program and explore real applications with virtual reality! Learn how to program, compete to build apps, and even collaborate with other people in realtime, in game or not!

A vim plugin for communicating with a language server

Language Server Protocol support for Atom (the basis of Atom-IDE)

XML Language Server

C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, semantic highlighting and more

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

PHP Implementation of the VS Code Language Server Protocol 🆚↔🖥

Java language server

Atom-IDE for CSS, LESS and SCSS language

Official repository for Spyder - The Scientific Python Development Environment

async language server protocol plugin for vim and neovim

NPM module to connect Monaco editor with language servers

A Lua language server

This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

Kakoune Language Server Protocol Client

Repository for the Rust Language Server (aka RLS)

An implementation of the Language Server Protocol for Common Lisp

SQL Language Server

A Language Server implementation for D

Language Server Protocol in C#

🌵 Viewer & Finder for LSP symbols and tags

F# language server using Language Server Protocol

Language server implementation for GLSL

IDE support for the functional logic language Curry

[WIP] Protocol Buffers Language Server

A Swift implementation of the open Language Server Protocol.

Client implementation of the Language Server Protocol for Sublime Text

Java language support for Atom-IDE

Small implementation of a language client for kakoune.

A language server for Dockerfiles powered by Node.js, TypeScript, and VSCode technologies.

Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol

A .NET Standard server-side implementation of Language Server Protocol 2.0/3.x infrastructure library.

Microsoft Language Server for Python

Improving your Elm experience since 2019

A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

The engine for haskell ide-integration. Not an IDE

TypeScript & JavaScript Language Server

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

A common platform for PowerShell development support in any editor or application!

Company completion backend for lsp-mode

The Erlang Language Server

Tools for writing a language server following the Language Server Protocol.

An implementation of the Language Server Protocol for R

Haskell library for the Microsoft Language Server Protocol

Emacs client/library for the Language Server Protocol

Quickstart configurations for the Nvim LSP client

Agda language support for the Atom editor

A functional test framework for LSP servers

Vim plugin for C/C++/ObjC semantic highlighting using cquery, ccls, or clangd

Intellisense for PHP