Alternatives and similar repositories for grace

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

• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆450Updated 3 weeks ago
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆561Updated 2 years ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆700Updated 3 weeks ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆684Updated last week
• well-typed / optics
  Optics as an abstract interface
  ☆387Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆293Updated 2 years ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆587Updated 3 weeks ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆352Updated 2 weeks ago
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆667Updated last month
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆733Updated 2 weeks ago
• seanhess / hyperbole
  Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
  ☆323Updated last week
• stefan-hoeck / idris2-tutorial
  ☆236Updated 6 months ago
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆228Updated 11 months ago
• chshersh / iris
  🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
  ☆199Updated 2 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆137Updated 2 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆235Updated last year
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆228Updated 2 years ago
• graninas / The-Voids-Of-Haskell
  ☆258Updated 9 months ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,076Updated 10 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆352Updated last month
• morphismtech / squeal
  Squeal, a deep embedding of SQL in Haskell
  ☆376Updated 7 months ago
• higherkindness / mu-haskell
  Mu (μ) is a purely functional framework for building micro services.
  ☆335Updated last year
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆184Updated 3 weeks ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆188Updated 11 months ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆268Updated 3 weeks ago
• aristanetworks / purescript-backend-optimizer
  Optimizing backend toolkit and modern ECMAScript backend for PureScript
  ☆211Updated last month
• stefan-hoeck / idris2-pack
  ☆144Updated last month
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆157Updated 2 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆308Updated 3 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago