Alternatives and similar repositories for vscode-lsp

Users that are interested in vscode-lsp are comparing it to the libraries listed below

• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆35Updated 3 months ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• andersfr / zig-lsp
  Language Server Protocol for Zig
  ☆27Updated 6 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 3 years ago
• m-language / m
  A minimal language inspired by Lisp and Haskell
  ☆20Updated 5 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 11 months ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 6 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• tsoding / louis
  Small library for braillizing images
  ☆17Updated 6 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆36Updated 5 months ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆18Updated 6 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆24Updated 8 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 11 months ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 9 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• ponylang / pony-language-server
  Language server for Pony
  ☆26Updated last month
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆22Updated 6 months ago
• SOwens / example-compiler
  A simple compiler for a simple imperative language, written in OCaml
  ☆25Updated 7 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year