smarr / effortless-language-serversLinks
Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
☆20Updated 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:
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Getting started, manuals and tutorials☆55Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- ☆61Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Learning Constraint Programming with Picat☆49Updated last month
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆23Updated 5 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- McLulang: The message is the language☆12Updated last year
- A Tcl distibution for WebAssembly or Javascript☆86Updated 8 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated last month
- Modernized Sisal Interpreter☆29Updated 7 years ago
- A new declarative programming language☆24Updated 5 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 months ago
- A language for pipe-based programming☆53Updated 2 years ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Updated 4 years ago
- Structured UI Programming with ES6 Generators☆26Updated 2 years ago
- A SmallTalk like live coding system running in the browser, based on TypeScript.☆67Updated 6 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆89Updated this week
- Intuitionistic Programming Language☆12Updated 11 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A toy programming language.☆41Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Trealla Prolog embedded in Go using WASM☆80Updated 2 months ago
- Multitier JavaScript☆157Updated 2 months ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Updated 4 years ago
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆59Updated 7 months ago