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.
  ☆420Updated this week
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆557Updated 2 years ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆618Updated 3 weeks ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆584Updated last week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆278Updated 2 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆384Updated last month
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆343Updated last week
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆656Updated last month
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆715Updated 3 weeks ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆484Updated this week
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆218Updated 3 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,056Updated 2 months ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆231Updated last year
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆263Updated 8 months ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆178Updated 3 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆127Updated last year
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆346Updated 5 months ago
• stefan-hoeck / idris2-tutorial
  ☆220Updated last month
• higherkindness / mu-haskell
  Mu (μ) is a purely functional framework for building micro services.
  ☆334Updated 10 months ago
• aristanetworks / purescript-backend-optimizer
  Optimizing backend toolkit and modern ECMAScript backend for PureScript
  ☆203Updated last month
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆302Updated 6 months ago
• 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
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆379Updated last year
• edwinb / Blodwen
  A prototype successor to Idris
  ☆540Updated 5 years ago
• frank-lang / frank
  Frank compiler
  ☆293Updated last year
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆945Updated 4 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆673Updated this week