ocharles / effect-zoo
Comparing Haskell effect systems for ergonomics and speed
☆65Updated 3 years ago
Alternatives and similar repositories for effect-zoo:
Users that are interested in effect-zoo are comparing it to the libraries listed below
- type level sets☆67Updated 5 years ago
- rewrite rules for type-level equalities☆62Updated 10 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- ☆92Updated 11 months ago
- Dual Traversable☆42Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago
- higher-kinded data☆30Updated last year
- Wailing into the primordial ooze of category theory☆55Updated 3 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- ☆49Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- First-class type families☆87Updated 6 months ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- ☆29Updated 5 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- A GHC plugin and library for analysing GHC Core☆54Updated last month
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- tools for writing better type errors☆73Updated last year
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated 5 months ago
- A work stealing scheduler☆75Updated last month
- Experimental, user-contributed effects and interpreters for polysemy☆71Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago