jamesnvc / lsp_server
Language Server Protocol server for SWI-Prolog
☆97Updated this week
Alternatives and similar repositories for lsp_server:
Users that are interested in lsp_server are comparing it to the libraries listed below
- vim bundle for Racket☆29Updated 3 months ago
- A code formatter for Racket☆79Updated last month
- Constraint Logic Programming over Integers☆196Updated last year
- GNU Prolog☆118Updated last year
- ☆289Updated last month
- Racket parser for tree-sitter☆31Updated 7 months ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Haskell grammar for tree-sitter.☆165Updated 2 weeks ago
- An embeddable flow-oriented language.☆70Updated last month
- A Common Lisp development environment for Neovim☆82Updated 8 months ago
- DocLog builds documentation from source code in Prolog☆26Updated 3 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆30Updated 3 months ago
- macros to configure neovim in fennel☆89Updated 3 years ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆140Updated last year
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Prolog stuff☆28Updated 5 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆290Updated this week
- CLP(BNR) module for SWI-Prolog☆42Updated 3 weeks ago
- A VS Code extension that provides language support for prolog☆100Updated last year
- DCG utility predicates for Prolog☆10Updated 10 years ago
- An implementation of the Language Server Protocol for Common Lisp☆222Updated 2 weeks ago
- BQN grammar for tree-sitter☆16Updated 2 months ago
- Top-down interpreter for ASP programs with Constraints☆30Updated 4 months ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 4 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆73Updated 4 years ago
- parinfer for Neovim☆187Updated last year
- Take an info.rkt file, produce a info.nix file.☆41Updated 4 years ago
- Prolog, Datalog, languages, resources, and beyond!☆30Updated 5 months ago