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
- Hazel, a live functional programming environment with typed holes☆897Updated this week
- a structured interaction engine 🗜️ ⚗️☆468Updated last year
- a tiny tile-based editor☆303Updated this week
- a datalog interpreter in typescript☆209Updated 2 months ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆393Updated 2 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆345Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,005Updated last month
- Compiler for the Mirth programming language.☆460Updated 2 weeks ago
- A functional programming language based on algebraic effect handlers☆867Updated 6 months ago
- A modern supercompiler for call-by-value functional languages☆402Updated last month
- A functional, content-addressable programming language.☆421Updated 2 weeks ago
- Systems language with linear types and capability-based security.☆1,176Updated 8 months ago
- Cat - a statically typed functional stack-based programming language☆258Updated 7 years ago
- A programming language with static memory management based on λ-calculus☆991Updated this week
- A compact, efficient Prolog interpreter written in plain-old C.☆286Updated this week
- A ready-to-fork interpreted functional language with type inference☆391Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆165Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Cell compiler☆113Updated last year
- Lisp in WebAssembly☆258Updated 3 weeks ago
- An APL-like programming language☆942Updated this week
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,254Updated this week
- Links: Linking Theory to Practice for the Web☆337Updated last month
- Fork of Lua 5.1 to encourage end-user programming☆166Updated last year
- Rhombus programming language☆367Updated this week
- a playground for making 3D art with lisp and math☆477Updated last month
- 1ML prototype interpreter☆279Updated 4 years ago