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:
- A code formatter for Racket☆83Updated 5 months ago
- Racket parser for tree-sitter☆35Updated 3 weeks ago
- An embeddable flow-oriented language.☆74Updated 3 weeks ago
- ☆314Updated 2 weeks ago
- vim bundle for Racket☆33Updated 3 months ago
- Racket Language Server☆45Updated 5 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆149Updated 2 years ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated last month
- GNU Prolog☆137Updated 3 weeks ago
- A Racket refactoring engine☆65Updated last week
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆50Updated 2 weeks ago
- Take an info.rkt file, produce a info.nix file.☆45Updated 4 years ago
- Prolog stuff☆27Updated 6 years ago
- Haskell + Lisp☆214Updated last year
- An implementation of the Lox language in Racket.☆37Updated 2 years ago
- Learning Racket☆32Updated 11 months ago
- Declarative GUIs in Racket.☆151Updated 4 months ago
- Optional types for Prolog☆17Updated 6 years ago
- Embeddable Lambda Prolog Interpreter☆335Updated 3 weeks ago
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- Docker images for various Racket versions☆67Updated last month
- An experimental package manager for Scryer Prolog☆21Updated last month
- Shen/Scheme implementation☆127Updated last week
- A collection of core libraries for Racket☆85Updated 6 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 2 months ago
- Some notes taken while working on Prolog☆192Updated 2 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Updated 2 months ago
- Informal collection of BQN utilities☆62Updated 3 months ago
- Constraint Logic Programming over Integers☆210Updated last year