smarr / effortless-language-serversLinks
Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
☆20Updated 2 years ago
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!☆31Updated 3 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- ☆61Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated 2 months ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24Updated 8 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 10 years ago
- A new declarative programming language☆24Updated 5 years ago
- Structured UI Programming with ES6 Generators☆26Updated 2 years ago
- A language for pipe-based programming☆53Updated 3 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- A Tcl distibution for WebAssembly or Javascript☆87Updated 8 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 4 years ago
- A PEG that compiles itself.☆76Updated 15 years ago
- A parser toolkit☆97Updated 4 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- Modernized Sisal Interpreter☆29Updated 7 years ago
- ☆11Updated 4 years ago
- Getting started, manuals and tutorials☆56Updated 2 years ago
- Learning Constraint Programming with Picat☆54Updated 3 months ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆93Updated 3 weeks ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Updated 3 years ago
- Lisp for JSON☆20Updated 8 years ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 5 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated this week