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.
  ☆437Updated 2 weeks ago
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆560Updated 2 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆349Updated 2 months ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆284Updated 2 years ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆583Updated 3 weeks ago
• well-typed / optics
  Optics as an abstract interface
  ☆386Updated last week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆632Updated 4 months ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆726Updated last month
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆661Updated 4 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆606Updated last week
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆222Updated 6 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆133Updated 2 years ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆186Updated 6 months ago
• aristanetworks / purescript-backend-optimizer
  Optimizing backend toolkit and modern ECMAScript backend for PureScript
  ☆207Updated 4 months ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆234Updated last year
• seanhess / hyperbole
  Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
  ☆290Updated this week
• stefan-hoeck / idris2-tutorial
  ☆234Updated last month
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,061Updated 6 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆351Updated last month
• stefan-hoeck / idris2-pack
  ☆128Updated 2 weeks ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆182Updated last week
• ajnsit / concur
  An unusual Web UI Framework for Haskell
  ☆305Updated 4 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆265Updated last year
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 4 months ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆307Updated 2 years ago
• morphismtech / squeal
  Squeal, a deep embedding of SQL in Haskell
  ☆376Updated 2 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,049Updated 3 months ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆152Updated last year
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆180Updated 6 months ago