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
- Standard library for the Formality language☆18Updated 4 years ago
- Another attempt to realize my programming language☆23Updated 2 weeks ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆81Updated last year
- language verification, construction, and analysis☆20Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated last year
- 📚 - Resources for Machine Learning and Haskell☆21Updated 7 years ago
- The Yatima Standard Library☆20Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 4 months ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- A template for you to implement Hazelnut yourself☆21Updated last month
- An interpreter of F-ing modules☆18Updated 5 years ago
- Visual tool for stepwise evaluation of simple Haskell expressions☆20Updated 5 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- Lambda calculus go brrrr☆28Updated last year
- Notes from my research for forest-lang☆12Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- music sequencer and generalized notation☆66Updated this week
- Madlang is a language for generative literature☆51Updated 6 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆11Updated 9 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- A pretty printing library☆24Updated 6 years ago
- An Elm-like language for declarative, purely functional GUI applications powered by Electron and React☆17Updated 2 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago