KeliLanguage / vscode-lspLinks
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
Sorting:
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated 2 years ago
- Plasma Programming Language☆166Updated 6 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- small programming language. pls be gentle.☆39Updated last month
- IDE support for the functional logic programming language Curry☆32Updated 3 weeks ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 4 years ago
- Small library for braillizing images☆17Updated 6 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- For parts of https://www.ats-lang.org☆26Updated 4 months ago
- Language Server Protocol for Zig☆27Updated 6 years ago
- An esoteric RPN golfing language☆24Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated 3 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- A ML-family Language Compiled to Lua☆149Updated last month
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 8 months ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆36Updated 3 months ago
- Exercism exercises in Standard ML.☆28Updated 2 weeks ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago