A list of structural/projectional code editor projects.
Any comments, suggestions? Let us know!
- Foreword
- Structural code editor projects
- Blocks Programming Editors
- Spreadsheet-based projects
- Other notable projects
- Resources
Projectional editing is how almost all document editing applications work nowadays, except for editing source code and text documents, where it is still common to edit plain text files that are parsed to render/compile the result.
This document is a list of projects trying to bring the projectional/structural approach to source code editing.
As evident from the wealth of ongoing and concluded attempts listed below, this problem appears to be either difficult, or impossible. Hopefully one or more of these projects will succeed in realising it and bringing it to the mainstream!
This list includes projects which are actively developed or were maintained recently. Currently the bar for incomplete projects is set arbitrarily at 2020.
Project properties are summarized using unicode/emoji "flags":
- Project structure: ๐ต Commercial, ๐ Academic, โก Accepts donations
- UX: ๐ Uses text files,
โคด๏ธ Visual programming, โจ๏ธ Text editing like UX - Target languages: ๐ถ New language, ฮป Functional, ๏ฝ Lisp-based, โ JavaScript/TypeScript, ๐งฐ Language Workbench
- Other: ๐จ Is in some production use, ๐ Works in browser, ๐จโ๐ฉโ๐งโ๐ฆ Not intended for programmers, ๆ Localization support
| Project | Properties | Description | Written in | โญ๏ธ | Updated |
|---|---|---|---|---|---|
| Enso | ๐ต ๐ |
Hybrid visual+textual programming language | Scala, Rust | 7244 | 2024 |
| Unison | ๐ต ๐ ๐ถ ฮป | Code database projected to text-files edited in your text editor of choice. Originally centered around having a projectional editor, but pivoted to creating a cloud programming language first | Haskell | 5483 | 2024 |
| Lamdu | โก โจ๏ธ ๐ถ ฮป ๆ | Language with live programming and novel UX for type errors | Haskell | 1847 | 2024 |
| Dark | ๐ต โจ๏ธ ๐ถ ฮป ๐ | Platform and language as a service for app backends and web | F#, ReScript | 1544 | 2024 |
| MPS | ๐ต โจ๏ธ ๐งฐ ๐จ | Language workbench for projectional languages | Java | 1505 | 2024 |
| Cursorless | โก ๐ ๐จ | Spoken language for structural code editing | TypeScript | 1016 | 2024 |
| Sapling | โจ๏ธ | Vim/Kakoune-inspired modal structured editor for existing languages | Rust | 694 | 2024 |
| Hazel | ๐ โจ๏ธ ๐ถ ฮป ๐ | Language with live programming and typed holes | Reason | 648 | 2024 |
| JOY.js | โก ๐ถ ๐งฐ ๐จ ๐ ๐จโ๐ฉโ๐งโ๐ฆ | Language workbench for programmable demos | JavaScript | 561 | 2018 |
| Fructure | ๏ฝ ๐งฐ | A projectional editor workbench for Racket-implemented languages | Racket | 440 | 2024 |
| tylr | ๐ โจ๏ธ ฮป ๐ | A tiny tile-based editor for well-formedly manipulating sequences of tokens | Reason | 259 | 2023 |
| Cirru | ๏ฝ | A tree editor for ClojureScript | Clojure | 214 | 2023 |
| Holbert | ๐ ๐ | A graphical interactive proof assistant designed for education | Haskell | 161 | 2023 |
| Vlojure | A novel visual UX for ClojureScript | Clojure | 138 | 2022 | |
| ProjecturEd | ๐จโ๐ฉโ๐งโ๐ฆ | General purpose projectional editor | Common Lisp | 134 | 2022 |
| Tofu | โก โ | VSCode extension for structured editing of JavaScript and TypeScript | TypeScript | 97 | 2022 |
| Envision | ๐ ๐ถ | Editor for a Java/C++ like language | C++ | 95 | 2022 |
| Subtext | ๐ถ | A series of inspiring presentations and projects exploring ideas in projectional editing | TypeScript | 95 | 2022 |
| Eyg | ๐ถ ฮป ๐ | Minimal language to enable exploration of alternative editing methods | Gleam | 76 | 2024 |
| Freon | โจ๏ธ ๐งฐ ๐ | Web-based Projectional Language Workbench | TypeScript | 62 | 2023 |
| Forest | โ ๐ | A prototype tree editor for TypeScript | TypeScript | 55 | 2023 |
| Lisperanto | โก ๏ฝ ๐ | IDE for Lisp-like language | JavaScript | 39 | 2022 |
| Foundry | ฮป | A projectional editor for the Morte language | Haskell | 28 | 2024 |
| Gopcaml-mode | ๐ ฮป ๐จ | Structural editing Emacs plugin for OCaml code | OCaml | 21 | 2022 |
| Frugel | ๐ โจ๏ธ ๐ถ ฮป | A research exploring a novel UX for textual entry of code | Haskell | 17 | 2022 |
| Javardise | ๐ ๐ | Editor for a subset of Java | Kotlin | 1 | 2024 |
| SplootCode | โจ๏ธ ๐ | A structural editor for Python, aimed towards beginners | ? | - | 2023 |
| Alfa | ๐ ฮป | An editor for Agda which doesn't allow incorrect code | Haskell | - | 2020 |
| OCell | ๐ถ ๐ | ? | ? | - | 2020 |
| Project | Properties | Description |
|---|---|---|
| Roc | ฮป | A performance oriented functional programming language with a structural editor. |
| Dion Systems | ||
| Neurion | ๐ต ๐ถ ฮป |
| Project | Time_Period | Properties | Description |
|---|---|---|---|
| Inflex | 2020 - 2022 | ๐ต ๐ ๐ถ ฮป | A spreadsheet-inspired functional programming language |
| Intentional software | 1990s - 2017 | ๐ต | Started as a Microsoft project to develop a projectional editor in the late 1990s (see video from 2000), which later spun up as an independent company, which later pivoted to develop a language workbench. Despite being founded and self-funded by a Billionaire, it was ultimately acquired by Microsoft at 2017, with the original projects being cancelled (afaik). |
| Eve | 2014 - 2018 | ๐ต ๐ถ | A startup that made a series of experimental programming systems and was shut down in 2018. |
| Prune | 2015 | An internal research project in Facebook. Concluded in it "being promising" but according to them "programmers don't spend that much time manipulating programs compared to all the other things they do. Enabling programmers to do a 50% better job of a task requiring 10% of their time just doesn't make economic sense" (redacted quote). | |
| Novella | 2019 - 2020 | A structural editor infrastructure, in 2020 author moved on to develop Inflex instead. | |
| Expressions of Change | 2017 - 2018 | ||
| Isomorf | 2017? | ๐ต ๐ ๐ถ ฮป | A startup developing an in-browser editor for a language that can appear in a syntax of the user's choosing among a few options appearing like different popular programming language |
| Omni | 2013 - 2017 | ๐ถ | |
| Viskell | 2015 - 2017 | ฮป | Visual programming meets Haskell |
| Zinal | 2015 - 2017 | ๐ถ | |
| Golem | 2014 - 2016 | ๐ ๐ โจ๏ธ ๐ถ ฮป ๏ฝ ๐ | Online tree editor and debugger for Shem, a functional LISP-like language which compiles to JavaScript |
| Cedalion | ? - 2013 | ๐ ๐ถ |
Blocks Programming languages/editors are a specific kind of structural programming editors, where the code is structured in a manner similar to "lego blocks" supporting "drag and drop" editing.
| System | Properties | Written in |
|---|---|---|
| Alice | ๐ | Java |
| Hopscotch | ๐ต | ? |
| Microsoft MakeCode | ๐ต ๐ถ ๐ | ? |
| Scratch | ๐ ๆ ๐ถ ๐ | JavaScript |
| Snap | ๐ ๆ ๐ | ? |
| System | Properties | Written in |
|---|---|---|
| Flowsheets | ? | |
| Mesh | JavaScript | |
| Object Spreadsheets | ๐ | TypeScript |
Not sure in which category these projects fit in:
| System | Properties | Description | Written in |
|---|---|---|---|
| Apparatus | ๐ ๐ | Hybric diagrams editor | CoffeeScript |
| Cycle.js Dev Tools | โก | Dataflow debugging | TypeScript |
| JSON Editor | ๐ | JSON schema-based editor | JavaScript |
| Greenfoot/BlueJ | ๐ | Structure-text hybrid | Java |
- The whole code catalog - An in-depth review of 23 structural and low-code projects by Steve Krouse from 2019. Sponsored by Dark.
- Gallery of programming UIs - By Jonathan Edwards.
- Visual Programming Languages - Snapshots - By Eric Hosick.
- Reddit: /r/nosyntax - A subreddit about projectional/structural editing.
- Future of Coding - A Slack-based community with a wider focus.
- Conferences:
- LIVE Programming workshop - An annual workshop at the SPLASH conference mainly focused on live programming.