Alternatives and similar repositories for hazel

Users that are interested in hazel are comparing it to the libraries listed below

• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆390Updated 2 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated 2 weeks ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆375Updated last month
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆368Updated this week
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆466Updated last week
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,046Updated last month
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,042Updated 2 years ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆872Updated 8 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆617Updated 3 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆399Updated 2 years ago
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆472Updated last year
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,047Updated this week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆303Updated 7 months ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆618Updated 4 years ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,117Updated 2 months ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆765Updated 4 years ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆378Updated 2 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆414Updated last month
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,003Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆278Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆240Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆673Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,318Updated 3 weeks ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆947Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆715Updated 3 years ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆676Updated 8 months ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• MLton / mlton
  The MLton repository
  ☆1,011Updated this week