KeliLanguage / vscode-lsp
Keli extension for Visual Studio Code
☆10Updated 6 years ago
Alternatives and similar repositories for vscode-lsp:
Users that are interested in vscode-lsp are comparing it to the libraries listed below
- small programming language. pls be gentle.☆39Updated 2 months ago
- IDE support for the functional logic programming language Curry☆31Updated 3 weeks ago
- a self-hosting lambda calculus compiler☆35Updated 2 weeks ago
- Like APL, but with emojis☆15Updated 3 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Stack-based esoteric programming language☆18Updated 2 months ago
- Small library for braillizing images☆18Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 10 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 2 months ago
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- An esoteric RPN golfing language☆23Updated 2 years ago
- A functional scripting language.☆18Updated 2 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 6 months ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A programming language focused on concurrency and low memory usage☆12Updated 5 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- The Stroscot Programming Language☆13Updated last year
- Self-hosting compiler for the Grace programming language☆39Updated 10 months ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- ☆27Updated last year
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Practical type inference for arbitrary-rank types☆10Updated 5 years ago
- Components of programming languages, all implemented in self-contained files☆9Updated last year
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- Definition for Pineapple language and its compiler☆25Updated 6 years ago