Alternatives and similar repositories for awesome-structure-editors:

Users that are interested in awesome-structure-editors are comparing it to the libraries listed below

• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆897Updated this week
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆468Updated last year
• hazelgrove / tylr
  a tiny tile-based editor
  ☆303Updated this week
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 2 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆393Updated 2 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆345Updated this week
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,005Updated last month
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆460Updated 2 weeks ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆867Updated 6 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆402Updated last month
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆421Updated 2 weeks ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,176Updated 8 months ago
• cdiggins / cat-language
  Cat - a statically typed functional stack-based programming language
  ☆258Updated 7 years ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆991Updated this week
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆286Updated this week
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆391Updated last year
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆165Updated 3 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• mbrock / wisp
  Lisp in WebAssembly
  ☆258Updated 3 weeks ago
• mlochbaum / BQN
  An APL-like programming language
  ☆942Updated this week
• coalton-lang / coalton
  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
  ☆1,254Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated last month
• akkartik / teliva
  Fork of Lua 5.1 to encourage end-user programming
  ☆166Updated last year
• racket / rhombus
  Rhombus programming language
  ☆367Updated this week
• ianthehenry / bauble
  a playground for making 3D art with lisp and math
  ☆477Updated last month
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago