jamesnvc / lsp_server
Language Server Protocol server for SWI-Prolog
☆90Updated last month
Related projects ⓘ
Alternatives and complementary repositories for lsp_server
- vim bundle for Racket☆28Updated last week
- Constraint Logic Programming over Integers☆185Updated 9 months ago
- An embeddable flow-oriented language.☆59Updated last week
- OCaml bindings for the Neovim API☆148Updated 2 weeks ago
- An implementation of the Language Server Protocol for Common Lisp☆217Updated last year
- A code formatter for Racket☆74Updated 3 weeks ago
- GNU Prolog☆106Updated last year
- Programming in Tabled Prolog by David S Warren☆22Updated 4 years ago
- Scheme parser for tree-sitter☆33Updated 2 months ago
- Racket parser for tree-sitter☆31Updated 2 months ago
- ☆269Updated last month
- Informal collection of BQN utilities☆51Updated 2 weeks ago
- DocLog builds documentation from source code in Prolog☆23Updated 2 weeks ago
- Turn opam-based OCaml projects into Nix derivations☆111Updated this week
- ☆43Updated 2 weeks ago
- An implementation of the Lox language in Racket.☆30Updated last year
- BQN↔NumPy bridge☆18Updated 3 weeks ago
- Haskell grammar for tree-sitter.☆157Updated 2 weeks ago
- A list of awesome libraries for BQN.☆27Updated 3 months ago
- Docker images for various Racket versions☆62Updated 2 weeks ago
- Haskell + Lisp☆206Updated 6 months ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Emacs mode for BQN programming language☆34Updated last month
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- agda-mode for neovim☆134Updated last month
- ☆29Updated 5 months ago
- Declarative GUIs in Racket.☆134Updated 3 months ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- A Djot implementation in Prolog☆22Updated 10 months ago