niklaskorz / puredit
A projectional editor that uses textual code as its source of truth.
☆26Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for puredit
- a datalog interpreter in typescript☆208Updated last month
- A high-level programming language☆36Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Web Native language Workbench with Projectional Web Editor☆67Updated this week
- Trealla Prolog for the web☆42Updated last week
- A compiler and run-time system to compile and run Curry programs as Go programs☆22Updated this week
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- Domain Specific Languages for Computational Law☆69Updated last month
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆103Updated 3 months ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆86Updated 2 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- a tiny tile-based editor☆284Updated this week
- A multi-cursor structural editor prototype for TypeScript☆57Updated last year
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Datalog with equality for rust☆62Updated 3 weeks ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆44Updated this week
- Fungi: Typed incremental computation with names☆66Updated 5 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- Helps import tree-sitter grammars☆25Updated last year
- ☆46Updated 2 years ago
- ☆11Updated 2 years ago
- Macros have types!☆130Updated last year
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- Cell compiler☆114Updated last year
- A Data Modeling Programming Language☆14Updated 3 months ago
- ☆35Updated 3 months ago
- ☆17Updated 2 years ago