jamesnvc / lsp_serverLinks
Language Server Protocol server for SWI-Prolog
☆121Updated last week
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☆82Updated 4 months ago
- vim bundle for Racket☆32Updated 2 months ago
- Racket parser for tree-sitter☆34Updated last week
- An embeddable flow-oriented language.☆72Updated last month
- Informal collection of BQN utilities☆62Updated 2 months ago
- ☆314Updated 2 weeks ago
- BQN grammar for tree-sitter☆17Updated this week
- GNU Prolog☆134Updated this week
- bi-directional tangle daemon for literate programming☆94Updated 2 years ago
- Racket Language Server☆45Updated 5 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆147Updated 2 years ago
- Some notes taken while working on Prolog☆192Updated 2 years ago
- An implementation of the Lox language in Racket.☆35Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆332Updated last week
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 3 weeks ago
- ☆19Updated 4 years ago
- Prolog stuff☆27Updated 6 years ago
- Constraint Logic Programming over Integers☆209Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆40Updated 11 months ago
- Haskell + Lisp☆213Updated last year
- another APL derivative☆89Updated 4 years ago
- A Racket refactoring engine☆65Updated this week
- DocLog builds documentation from source code in Prolog☆31Updated last week
- A derivative approach to finding your way in BQN☆39Updated last week
- ☆19Updated 8 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Updated last month
- Shen/Scheme implementation☆126Updated 7 months ago
- ☆32Updated last year
- Language Server for Idris2☆183Updated 3 months ago