MikaelMayer / Editor
Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Editor
- The Yatima Standard Library☆20Updated 11 months ago
- Standard library for the Formality language☆18Updated 4 years ago
- Another attempt to realize my programming language☆18Updated last week
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated last month
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- Notes from my research for forest-lang☆12Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- ☆36Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- Catalogue of the hisotry of Mathematics☆33Updated 2 years ago
- Synless is a language-agnostic tree editor.☆20Updated 2 weeks ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆22Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A multi-cursor structural editor prototype for TypeScript☆57Updated last year
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Fungi: Typed incremental computation with names☆66Updated 5 years ago
- Reference implementation of Knowledge Server Protocol (KSP)☆48Updated 4 years ago
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- ☆13Updated 5 years ago
- Lambda calculus go brrrr☆28Updated last year
- ☆14Updated 4 months ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- Domain Specific Languages for Computational Law☆69Updated last month
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆11Updated 5 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago