yairchu / awesome-structure-editorsLinks
A list of projectional and structural editors
☆423Updated 3 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
Sorting:
- Hazel, a live functional programming environment with typed holes☆1,064Updated this week
- a tiny tile-based editor☆316Updated last month
- a structured interaction engine 🗜️ ⚗️☆496Updated last year
- a datalog interpreter in typescript☆214Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆415Updated 3 years ago
- A fast functional language based on two level type theory☆392Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- A functional, content-addressable programming language.☆451Updated 5 months ago
- Rhombus programming language☆507Updated this week
- A modern supercompiler for call-by-value functional languages☆464Updated last month
- Cat - a statically typed functional stack-based programming language☆281Updated 8 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆325Updated 7 months ago
- Inpla: Interaction nets as a programming language (the current version)☆317Updated last week
- Catalog of visual lambda calculi☆167Updated 6 months ago
- Experiments in building "better" languages and tools; for some measure of better.☆262Updated last week
- ☆101Updated 11 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆418Updated this week
- a playground for making 3D art with lisp and math☆555Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆122Updated this week
- ☆104Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆336Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆647Updated this week
- Racket to JavaScript Compiler☆731Updated 2 months ago
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆256Updated 3 weeks ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆228Updated 2 years ago
- Compiler for the Mirth programming language.☆484Updated last month
- Lisp in WebAssembly☆290Updated 3 months ago
- Systems language with linear types and capability-based security.☆1,441Updated 5 months ago
- An implementation of interaction nets in JS.☆132Updated 6 months ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago