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

SQL Language Server

Typescript support for Nova

A Language Server implementation for D

Example language server (LSP) implementation for a toy language

Language Server Protocol in C#

Clj-kondo language server and VSCode extension: https://marketplace.visualstudio.com/items?itemName=borkdude.clj-kondo

🌵 Viewer & Finder for LSP symbols and tags

Package protocol implements Language Server Protocol specification in Go

F# language server using Language Server Protocol

Crystal IDE package for Atom using the Scry Language Server

Language server implementation for GLSL

Language Servers for Stardog Languages

IDE support for the functional logic language Curry

🌐 Prisma Language Tools = Language Server and Prisma's VS Code extension.

[WIP] Protocol Buffers Language Server

Language Server Protocol implementation for Ember.js projects

A Swift implementation of the open Language Server Protocol.

C/C++ language support for Atom-IDE

Client implementation of the Language Server Protocol for Sublime Text

Dockerfile language service for providing an API to create feature-rich Dockerfile editors in JavaScript.

Java language support for Atom-IDE

Generic Language Server

Small implementation of a language client for kakoune.

D language support for Visual Studio Code

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

Language Server Protocol implementation for Clarity (including VS code extension).

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

Language Server Protocol implementation written in Rust

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

an SML language server that uses SML/NJ's "visible compiler" feature

Microsoft Language Server for Python

A language server for Groovy

Improving your Elm experience since 2019

Types for communicating with a language server

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

A workshop on learning Agda with minimal prerequisites.

The engine for haskell ide-integration. Not an IDE

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

TypeScript & JavaScript Language Server

Mtac in Agda

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

A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

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

SQL language server written in Go.

Company completion backend for lsp-mode

Constructive Interpretations of HoTT

The Erlang Language Server

Deciding Presburger arithmetic in agda

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

Type Theory in Type Theory using Cubical Agda

An implementation of the Language Server Protocol for R

Accessing Agda's interaction mode via command line & external tactic for Agda.

Haskell library for the Microsoft Language Server Protocol

Emacs client/library for the Language Server Protocol

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

An Erlang language server, providing IDE services.

Language server implementation for Elm