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
  ☆31Updated 3 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 3 years ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 11 months ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆35Updated 3 weeks ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated 7 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 6 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆24Updated 7 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆27Updated 2 months ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated last month
• aionescu / oplang
  Stack-based esoteric programming language
  ☆18Updated 7 months ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 6 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 5 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 4 years ago