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.
  ☆444Updated 3 months ago
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆561Updated 2 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆351Updated last month
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆290Updated 2 years ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆585Updated last month
• augustss / MicroHs
  Haskell implemented with combinators
  ☆661Updated last week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆640Updated 2 weeks ago
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆664Updated 7 months ago
• well-typed / optics
  Optics as an abstract interface
  ☆386Updated 2 months ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆731Updated this week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆134Updated 2 years ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆186Updated 9 months ago
• seanhess / hyperbole
  Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
  ☆311Updated last month
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆225Updated 9 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• stefan-hoeck / idris2-tutorial
  ☆234Updated 4 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆227Updated last year
• aristanetworks / purescript-backend-optimizer
  Optimizing backend toolkit and modern ECMAScript backend for PureScript
  ☆210Updated this week
• chshersh / iris
  🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
  ☆199Updated 2 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆235Updated last year
• higherkindness / mu-haskell
  Mu (μ) is a purely functional framework for building micro services.
  ☆335Updated last year
• frank-lang / frank
  Frank compiler
  ☆302Updated last year
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆156Updated 2 years ago
• graninas / The-Voids-Of-Haskell
  ☆258Updated 7 months ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,070Updated 9 months ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆307Updated 3 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,056Updated 6 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆350Updated 4 months ago
• morphismtech / squeal
  Squeal, a deep embedding of SQL in Haskell
  ☆375Updated 5 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago