jhp / imperativeLinks
Structured UI Programming with ES6 Generators
☆25Updated last year
Alternatives and similar repositories for imperative
Users that are interested in imperative are comparing it to the libraries listed below
Sorting:
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated last year
- WebAssembly made easy☆46Updated 2 years ago
- Examples of Beads programs☆111Updated 2 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- A language for pipe-based programming☆53Updated 2 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 2 weeks ago
- A high-level programming language☆39Updated 7 months ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆56Updated 2 weeks ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- McLulang: The message is the language☆11Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 4 months ago
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆23Updated 3 months ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 3 weeks ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- A minimalist / functional / dataflow programming language☆13Updated last year
- An implementation of interaction nets in JS.☆132Updated last month
- A toy JS to ARM assembly compiler, in Haskell☆16Updated 3 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago