jamesnvc / lsp_serverLinks
Language Server Protocol server for SWI-Prolog
☆124Updated 2 months ago
Alternatives and similar repositories for lsp_server
Users that are interested in lsp_server are comparing it to the libraries listed below
Sorting:
- Racket parser for tree-sitter☆36Updated last month
- A code formatter for Racket☆83Updated 6 months ago
- vim bundle for Racket☆33Updated 4 months ago
- ☆314Updated last week
- An embeddable flow-oriented language.☆74Updated last month
- Racket Language Server☆45Updated 5 years ago
- Informal collection of BQN utilities☆63Updated 4 months ago
- Constraint Logic Programming over Integers☆210Updated 2 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆149Updated 2 years ago
- Prolog stuff☆27Updated 6 years ago
- Embeddable Lambda Prolog Interpreter☆337Updated 2 weeks ago
- OCaml bindings for the Neovim API☆171Updated 3 weeks ago
- BQN grammar for tree-sitter☆18Updated last week
- An implementation of the Lox language in Racket.☆37Updated 2 years ago
- A language server for Standard ML.☆237Updated last month
- ☆19Updated 4 years ago
- Some notes taken while working on Prolog☆193Updated last week
- Haskell + Lisp☆214Updated last year
- GNU Prolog☆139Updated last month
- Simplify the configuration of editors for using OCaml tools☆82Updated 2 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Updated 3 months ago
- Language Server for Idris2☆187Updated last month
- Take an info.rkt file, produce a info.nix file.☆45Updated 4 years ago
- ☆19Updated 10 months ago
- OCaml debug adapter☆228Updated 2 months ago
- Haskell grammar for tree-sitter.☆177Updated 5 months ago
- Declarative GUIs in Racket.☆152Updated last week
- Shen/Scheme implementation☆131Updated 3 weeks ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Updated last year
- An experimental package manager for Scryer Prolog☆22Updated 2 months ago