GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → banacorn → agda-language-server

banacorn / agda-language-server

Licence: MIT license
Language Server for Agda

Programming Languages

haskell
3896 projects
shell
77523 projects

Labels

language-server-protocolagdaagda-mode

Projects that are alternatives of or similar to agda-language-server

agda-mode-vscode
agda-mode on VS Code
Stars: ✭ 112 (+38.27%)
Mutual labels:  agda, agda-mode
ide-css
Atom-IDE for CSS, LESS and SCSS language
Stars: ✭ 18 (-77.78%)
Mutual labels:  language-server-protocol
Ccls
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
Stars: ✭ 2,756 (+3302.47%)
Mutual labels:  language-server-protocol
Languageserver.jl
An implementation of the Microsoft Language Server Protocol for the julia language.
Stars: ✭ 223 (+175.31%)
Mutual labels:  language-server-protocol
Cquery
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
Stars: ✭ 2,338 (+2786.42%)
Mutual labels:  language-server-protocol
Theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Stars: ✭ 15,920 (+19554.32%)
Mutual labels:  language-server-protocol
Langserver.github.io
Stars: ✭ 170 (+109.88%)
Mutual labels:  language-server-protocol
LanguageServer.NET
A .NET Standard server-side implementation of Language Server Protocol 2.0/3.x infrastructure library.
Stars: ✭ 78 (-3.7%)
Mutual labels:  language-server-protocol
Company Lsp
Company completion backend for lsp-mode
Stars: ✭ 238 (+193.83%)
Mutual labels:  language-server-protocol
Haskell Ide Engine
The engine for haskell ide-integration. Not an IDE
Stars: ✭ 2,433 (+2903.7%)
Mutual labels:  language-server-protocol
Lua Lsp
A Lua language server
Stars: ✭ 219 (+170.37%)
Mutual labels:  language-server-protocol
Sql Language Server
SQL Language Server
Stars: ✭ 210 (+159.26%)
Mutual labels:  language-server-protocol
Csharp Language Server Protocol
Language Server Protocol in C#
Stars: ✭ 230 (+183.95%)
Mutual labels:  language-server-protocol
Fsautocomplete
F# language server using Language Server Protocol
Stars: ✭ 208 (+156.79%)
Mutual labels:  language-server-protocol
curry-language-server
IDE support for the functional logic language Curry
Stars: ✭ 18 (-77.78%)
Mutual labels:  language-server-protocol
Langserver Swift
A Swift implementation of the open Language Server Protocol.
Stars: ✭ 171 (+111.11%)
Mutual labels:  language-server-protocol
Lsp
Haskell library for the Microsoft Language Server Protocol
Stars: ✭ 212 (+161.73%)
Mutual labels:  language-server-protocol
Ide Java
Java language support for Atom-IDE
Stars: ✭ 226 (+179.01%)
Mutual labels:  language-server-protocol
language-agda
Agda language support for the Atom editor
Stars: ✭ 13 (-83.95%)
Mutual labels:  agda
lsp-test
A functional test framework for LSP servers
Stars: ✭ 35 (-56.79%)
Mutual labels:  language-server-protocol
View All Similar Projects ➔

Agda Language Server

Installation

The simplest way of acquiring Agda Language Server is through agda-mode on VS Code. Follow the instructions and the language server should be installed within seconds.

Prebuilt binaries

You can also download prebuilt binaries from the release page if you are using other LSP-compatible text editors.

Supported platforms: Windows, Mac, and Ubuntu.

Build from source

You will need Haskell Stack to build the project:

stack install

Why make it standalone?

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].