Alternatives and similar repositories for effect-handlers

Users that are interested in effect-handlers are comparing it to the libraries listed below

• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 6 months ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 7 years ago
• winterland1989 / stdio
  Haskell Standard Input and Output
  ☆46Updated 7 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• glguy / th-abstraction
  Uniform interface to reified data type information via Template Haskell
  ☆21Updated 4 months ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated 10 months ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• aische / typelevel-examples
  Haskell Type Level Example Programs
  ☆29Updated 7 years ago
• turingjump / bookkeeper
  ☆54Updated 6 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆30Updated 6 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated 2 years ago
• ekmett / indexed
  Indexed Functors for GHC 7.6
  ☆22Updated 5 years ago
• Thimoteus / purescript-transformerless
  Transformerless monads for Puresript
  ☆22Updated 6 years ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago
• purescript-contrib / purescript-fixed-points
  Types for the least and greatest fixed points of functors.
  ☆15Updated 3 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• sacundim / free-operational
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Updated 8 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated 4 months ago
• ocramz / aeson-schema
  Haskell JSON schema validator and parser generator
  ☆62Updated 2 years ago
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 8 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆72Updated 9 months ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago