yairchu / awesome-structure-editorsLinks
A list of projectional and structural editors
☆375Updated last month
Alternatives and similar repositories for awesome-structure-editors
Users that are interested in awesome-structure-editors are comparing it to the libraries listed below
Sorting:
- a tiny tile-based editor☆304Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆927Updated this week
- a structured interaction engine 🗜️ ⚗️☆472Updated last year
- A fast functional language based on two level type theory☆390Updated 2 years ago
- a datalog interpreter in typescript☆210Updated 5 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆399Updated 2 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆236Updated 2 weeks ago
- A language with lexical effect handlers and lightweight effect polymorphism☆368Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆303Updated 7 months ago
- A modern supercompiler for call-by-value functional languages☆414Updated last month
- Rhombus programming language☆456Updated this week
- Cat - a statically typed functional stack-based programming language☆262Updated 7 years ago
- A functional, content-addressable programming language.☆431Updated 2 weeks ago
- An implementation of interaction nets in JS.☆132Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,046Updated last month
- An APL-like programming language☆962Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆303Updated 6 months ago
- A ready-to-fork interpreted functional language with type inference☆402Updated this week
- A compact, efficient Prolog interpreter written in plain-old C.☆296Updated this week
- A garden of small programming language implementations 🪴☆240Updated this week
- ☆100Updated 3 years ago
- A categorical programming language with effects☆278Updated 2 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆191Updated last week
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- A functional programming language based on algebraic effect handlers☆872Updated 8 months ago
- Compiler for the Mirth programming language.☆466Updated last week
- A small extensible programming language designed for concise expression with little code.☆1,073Updated 8 months ago
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆311Updated this week
- A tiny Racket for scripting☆290Updated 2 months ago