yairchu / awesome-structure-editors
A list of projectional and structural editors
☆369Updated 9 months ago
Alternatives and similar repositories for awesome-structure-editors:
Users that are interested in awesome-structure-editors are comparing it to the libraries listed below
- a tiny tile-based editor☆303Updated this week
- Hazel, a live functional programming environment with typed holes☆897Updated this week
- a structured interaction engine 🗜️ ⚗️☆468Updated last year
- A fast functional language based on two level type theory☆389Updated 2 years ago
- a datalog interpreter in typescript☆209Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆393Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆402Updated last month
- Cat - a statically typed functional stack-based programming language☆258Updated 7 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆345Updated this week
- Compiler for the Mirth programming language.☆460Updated last week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆510Updated this week
- Systems language with linear types and capability-based security.☆1,174Updated 8 months ago
- Rhombus programming language☆366Updated this week
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆214Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆293Updated 4 months ago
- A garden of small programming language implementations 🪴☆214Updated this week
- Catalog of visual lambda calculi☆109Updated last year
- A human readable quasi-concatenative programming language☆249Updated last month
- Functional programming with fewer indirections☆761Updated 4 years ago
- A functional, content-addressable programming language.☆420Updated last week
- A ready-to-fork interpreted functional language with type inference☆391Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,004Updated last month
- Racket to JavaScript Compiler☆715Updated last year
- Cell compiler☆113Updated last year
- The Mercury logic programming system.☆937Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,109Updated last year
- Collaboration for reinventing software in human terms☆172Updated 6 years ago
- A functional programming language based on algebraic effect handlers☆867Updated 5 months ago
- Various experiments in relational programming☆271Updated 3 years ago
- ☆99Updated 3 years ago