MikaelMayer / EditorLinks
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
Sorting:
- Another attempt to realize my programming language☆23Updated 4 months ago
- Standard library for the Formality language☆18Updated 5 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- The Yatima Standard Library☆20Updated last year
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- Synless is a language-agnostic tree editor.☆21Updated 2 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- maps are everything.☆10Updated 3 years ago
- ☆37Updated 3 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Visual Programming Environment frontend for 'Lambda Bricks'☆23Updated 5 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆15Updated 8 months ago
- in-progress 🚧 explosional 💥 editor☆23Updated 3 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A template for you to implement Hazelnut yourself☆22Updated 2 weeks ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆16Updated 6 years ago
- Catalogue of the hisotry of Mathematics☆33Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 4 months ago
- An open-source database inspired by Datomic☆30Updated last year
- repository to work on future of coding weekly newsletter☆32Updated last week
- Notes from my research for forest-lang☆12Updated 3 years ago
- Fungi: Typed incremental computation with names☆68Updated 5 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago