ocharles / effect-zoo
Comparing Haskell effect systems for ergonomics and speed
☆65Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for effect-zoo
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- type level sets☆67Updated 4 years ago
- higher-kinded data☆30Updated last year
- ☆18Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Dual Traversable☆41Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated 6 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- ☆92Updated 7 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Reimplementation of Parsley in Haskell, with improvements☆49Updated 8 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Haskell program configuration using higher kinded data☆29Updated 5 months ago
- Experimental, user-contributed effects and interpreters for polysemy☆70Updated last year
- Composable Concurrent Computation Done Right☆30Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆66Updated 5 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Haskell embedding of PlusCal☆60Updated 2 years ago
- checkers for algebra driven design☆34Updated last year
- Literally the best anonymous records☆36Updated last year
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last month
- A Haskell monad transformer library for data validation☆36Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated 4 months ago
- 👅 Parse Haskell Language Extensions☆48Updated last month