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
Sorting:
- Standard library for the Formality language☆18Updated 5 years ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- The Yatima Standard Library☆20Updated last year
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- ☆69Updated 2 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆15Updated 6 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- language verification, construction, and analysis☆20Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Synless is a language-agnostic tree editor.☆21Updated last month
- 📦 A package manager based on Nix☆19Updated 11 months ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- ☆16Updated 10 months ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An open-source database inspired by Datomic☆30Updated last year
- A pretty printing library☆24Updated 6 years ago
- Notes from my research for forest-lang☆12Updated 3 years ago
- Classical Logic in Haskell☆24Updated last month
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago