☆18Apr 28, 2016Updated 9 years ago
Alternatives and similar repositories for effect-handlers
Users that are interested in effect-handlers are comparing it to the libraries listed below
Sorting:
- Control.Effects☆19Apr 14, 2019Updated 6 years ago
- Low-level React DOM bindings for PureScript☆16Jun 1, 2022Updated 3 years ago
- Example row-polymorphism implementations☆61Oct 3, 2023Updated 2 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Dec 15, 2017Updated 8 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated last month
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 9 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Purescript React Basic starter with sample app☆13Jan 3, 2019Updated 7 years ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 6 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago
- Anonymous extensible records and variant types☆26Sep 1, 2021Updated 4 years ago
- Extensible type-safe unions for Haskell☆34Mar 15, 2025Updated 11 months ago
- Typeclasses for representing monad (transformer) morphisms☆14Oct 21, 2018Updated 7 years ago
- keyed functors☆23Jan 10, 2026Updated last month
- Backports of GHC deriving extensions☆13Jan 8, 2026Updated last month
- A Distributed Computing Library in Haskell☆52Jun 9, 2017Updated 8 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- ☆16Mar 22, 2025Updated 11 months ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago
- Morte IDE☆29Apr 3, 2025Updated 11 months ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Mar 21, 2021Updated 4 years ago
- Lens powered regular expression☆16Feb 21, 2021Updated 5 years ago
- Fixpoint data types☆21Jan 2, 2026Updated 2 months ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated last month
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Nov 14, 2018Updated 7 years ago
- Haskell tool to generate expressions from types☆101Aug 1, 2017Updated 8 years ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 8 years ago