KeliLanguage / vscode-lsp
Keli extension for Visual Studio Code
☆10Updated 5 years ago
Alternatives and similar repositories for vscode-lsp:
Users that are interested in vscode-lsp are comparing it to the libraries listed below
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 3 months ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A functional scripting language.☆18Updated 3 months ago
- Stack-based esoteric programming language☆17Updated 2 months ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 4 years ago
- Like APL, but with emojis☆15Updated 2 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- language verification, construction, and analysis☆20Updated 2 years ago
- small programming language. pls be gentle.☆39Updated this week
- IDE support for the functional logic programming language Curry☆29Updated this week
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- Small library for braillizing images☆18Updated 5 years ago
- ☆27Updated last year
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 4 years ago
- Self-hosting compiler for the Grace programming language☆39Updated 7 months ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Language Server Protocol for Zig☆27Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 5 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 10 months ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- Visual functional programming language☆23Updated last year
- A [ functional stack ] based language.☆28Updated last year
- A WIP little dependently-typed systems language☆40Updated 5 months ago