MikaelMayer / Editor
Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
☆20Updated last year
Alternatives and similar repositories for Editor:
Users that are interested in Editor are comparing it to the libraries listed below
- Another attempt to realize my programming language☆23Updated last month
- Standard library for the Formality language☆18Updated 5 years ago
- The Yatima Standard Library☆20Updated last year
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 5 months ago
- A dynamic data-driven document development environment (DDDDDE)☆82Updated 2 years ago
- Lambda calculus go brrrr☆28Updated last year
- Notes from my research for forest-lang☆12Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- ☆36Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- an edge database☆28Updated 7 months ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- DSP in the browser using the behavior pattern.☆41Updated 3 years ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- Port of the Haskell School of Music to Purescript☆22Updated last month
- Visual tool for stepwise evaluation of simple Haskell expressions☆20Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- Synless is a language-agnostic tree editor.☆21Updated last month
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- A pretty printing library☆24Updated 6 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆22Updated 2 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 5 years ago
- because nobody really wants to eat boiled silkworms☆13Updated 7 years ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- language verification, construction, and analysis☆20Updated 2 years ago