Alternatives and similar repositories for lsp_server

Users that are interested in lsp_server are comparing it to the libraries listed below

• benknoble / vim-racket
  vim bundle for Racket
  ☆30Updated 6 months ago
• sorawee / fmt
  A code formatter for Racket
  ☆81Updated 4 months ago
• jeapostrophe / racket-langserver
  ☆305Updated 3 weeks ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 2 weeks ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆202Updated last year
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆57Updated last week
• axellang / axel
  Haskell + Lisp
  ☆210Updated last year
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆16Updated this week
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 2 months ago
• didoudiaz / gprolog
  GNU Prolog
  ☆124Updated 3 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆317Updated last week
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆142Updated last year
• dzaima / BQN386
  ☆16Updated 3 months ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆101Updated last year
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆179Updated last month
• dzaima / APL
  another APL derivative
  ☆89Updated 3 years ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆162Updated 2 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆34Updated last year
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆187Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆34Updated last month
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• theia-ide / racket-language-server
  Racket Language Server
  ☆45Updated 5 years ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated 2 months ago
• leanprover / lean.vim
  ☆18Updated 3 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 6 months ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆50Updated this week
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago