jamesnvc / lsp_serverLinks
Language Server Protocol server for SWI-Prolog
☆124Updated last month
Alternatives and similar repositories for lsp_server
Users that are interested in lsp_server are comparing it to the libraries listed below
Sorting:
- vim bundle for Racket☆33Updated 4 months ago
- Racket parser for tree-sitter☆36Updated last month
- A code formatter for Racket☆83Updated 6 months ago
- ☆313Updated 2 weeks ago
- An embeddable flow-oriented language.☆74Updated last month
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆149Updated 2 years ago
- Racket Language Server☆45Updated 5 years ago
- Haskell + Lisp☆214Updated last year
- Informal collection of BQN utilities☆62Updated 3 months ago
- A language server for Standard ML in Rust.☆236Updated last month
- Embeddable Lambda Prolog Interpreter☆337Updated last week
- Prolog stuff☆27Updated 6 years ago
- bi-directional tangle daemon for literate programming☆96Updated 3 years ago
- An experimental package manager for Scryer Prolog☆22Updated 2 months ago
- Declarative GUIs in Racket.☆151Updated this week
- BQN grammar for tree-sitter☆18Updated last month
- Haskell grammar for tree-sitter.☆177Updated 5 months ago
- An implementation of the Lox language in Racket.☆37Updated 2 years ago
- GNU Prolog☆139Updated last month
- Language Server for Idris2☆184Updated last month
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 2 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Updated 3 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆326Updated 7 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆161Updated last year
- A Racket refactoring engine☆65Updated 3 weeks ago
- Shen/Scheme implementation☆131Updated last week
- Optional types for Prolog☆17Updated 6 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆40Updated last year
- Constraint Logic Programming over Integers☆210Updated last year
- OCaml bindings for the Neovim API☆171Updated 2 weeks ago