jamesnvc / lsp_serverLinks
Language Server Protocol server for SWI-Prolog
☆101Updated 2 weeks ago
Alternatives and similar repositories for lsp_server
Users that are interested in lsp_server are comparing it to the libraries listed below
Sorting:
- A code formatter for Racket☆81Updated 3 months ago
- GNU Prolog☆121Updated 2 months ago
- vim bundle for Racket☆30Updated 5 months ago
- BQN grammar for tree-sitter☆16Updated 4 months ago
- OCaml bindings for the Neovim API☆163Updated last month
- An embeddable flow-oriented language.☆71Updated last week
- Scheme parser for tree-sitter☆40Updated last month
- A Common Lisp development environment for Neovim☆83Updated last month
- Racket parser for tree-sitter☆31Updated last month
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- Informal collection of BQN utilities☆57Updated last month
- Debug Adapter for Haskell debugging system.☆59Updated last month
- Language Server for Idris2☆178Updated last week
- ☆16Updated 3 months ago
- agda-mode for neovim☆159Updated last month
- ☆301Updated last month
- Prolog stuff☆28Updated 5 years ago
- Turn opam-based OCaml projects into Nix derivations☆130Updated 2 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last month
- Haskell + Lisp☆210Updated last year
- An implementation of the Language Server Protocol for Common Lisp☆226Updated 3 weeks ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆142Updated last year
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Haskell grammar for tree-sitter.☆171Updated 3 weeks ago
- Threading macros for Racket☆51Updated 8 months ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Racket Language Server☆45Updated 5 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆305Updated this week
- Purescript compiler back-end for Lua☆55Updated last month
- An implementation of the Lox language in Racket.☆33Updated last year