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
  ☆388Updated 2 years ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆867Updated 5 months ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆366Updated 8 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,034Updated last year
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,167Updated 7 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆600Updated last week
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆392Updated 2 years ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆668Updated 5 months ago
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆997Updated 3 weeks ago
• vekatze / neut
  A functional programming language with static memory management
  ☆841Updated this week
• hazelgrove / tylr
  a tiny tile-based editor
  ☆300Updated this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆664Updated 3 months ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆458Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆998Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆336Updated last week
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆615Updated 3 years ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆538Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆403Updated 3 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆286Updated 3 months ago
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆467Updated last year
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆934Updated 3 weeks ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆345Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆203Updated last week
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,109Updated last year
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆274Updated last year
• amuletml / amulet
  An ML-like functional programming language
  ☆331Updated 3 years ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆709Updated 3 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,222Updated last week