polysemy-research / polysemy
higher-order, no-boilerplate monads
โ1,044Updated last month
Alternatives and similar repositories for polysemy:
Users that are interested in polysemy are comparing it to the libraries listed below
- A fast, flexible, fused effect system for Haskellโ654Updated 3 months ago
- ๐ Safe, performant, user-friendly and lightweight Haskell standard libraryโ712Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskellโ694Updated last week
- ๐ง a work in progress effect system for Haskell ๐งโ557Updated last year
- A standard library for Haskellโ850Updated 8 months ago
- Release with confidence, state-of-the-art property testing for Haskell.โ685Updated 2 weeks ago
- Industrial-strength monadic parser combinator libraryโ940Updated 2 months ago
- ๐ฎ ๐ง Tool for scaffolding batteries-included production-level Haskell projectsโ709Updated 5 months ago
- A type-safe, non-TH Haskell SQL library and ORMโ596Updated 2 weeks ago
- Modern and extensible testing framework for Haskellโ648Updated 2 weeks ago
- A formatter for Haskell source codeโ989Updated last month
- hpack: A modern format for Haskell packagesโ644Updated 2 weeks ago
- A little course to learn about some of the more obscure GHC extensions.โ648Updated last year
- Web application for exploring and understanding Haskell codebasesโ515Updated 2 years ago
- Nix and Haskell in productionโ1,153Updated last year
- Algebraic graphsโ737Updated 10 months ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.โ508Updated 9 months ago
- ๐ต๏ธ Haskell STatic ANalyserโ579Updated 2 months ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying valโฆโ1,089Updated 2 weeks ago
- Empire strikes backโ464Updated last year
- Optics as an abstract interfaceโ382Updated 3 weeks ago
- High performance, concurrent functional programming abstractionsโ888Updated this week
- A type-safe, high-level SQL library for Haskellโ478Updated 10 months ago
- A List of Foundational Haskell Papersโ865Updated 5 months ago
- haskell source code formatterโ689Updated 2 years ago
- A streaming data libraryโ914Updated last month
- The Haskell performance checklistโ385Updated 4 years ago
- Liquid Types For Haskellโ1,236Updated 2 weeks ago
- A prototype successor to Idrisโ540Updated 5 years ago
- A dependently typed programming language, a successor to Idrisโ900Updated 4 years ago