KeliLanguage / vscode-lsp

Related projects ⓘ

Alternatives and complementary repositories for vscode-lsp

• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 2 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 8 months ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆28Updated last month
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆30Updated 3 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 5 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• RiscInside / LanguageEtudes
  Components of programming languages, all implemented in self-contained files
  ☆9Updated 8 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated 3 months ago
• fir-lang / fir
  ☆25Updated this week
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆27Updated last week
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last month
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆41Updated last year
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 4 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆62Updated 5 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year