smarr / effortless-language-serversLinks
Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
☆19Updated last year
Alternatives and similar repositories for effortless-language-servers
Users that are interested in effortless-language-servers are comparing it to the libraries listed below
Sorting:
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- The Coil Programming Language☆34Updated last year
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆21Updated 4 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 weeks ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- Racket to WebAssembly Compiler☆35Updated 4 months ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Structured UI Programming with ES6 Generators☆24Updated last year
- Io ported to WebAssembly using emscripten☆12Updated last year
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 8 months ago
- lang befunge 93 fast☆20Updated last year
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆28Updated 2 years ago
- Getting started, manuals and tutorials☆51Updated last year
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆50Updated 3 months ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆29Updated 2 years ago
- ☆29Updated this week
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated last month
- ☆60Updated last year