Extensible sums and products for Haskell
☆19Feb 25, 2026Updated this week
Alternatives and similar repositories for summer
Users that are interested in summer are comparing it to the libraries listed below
Sorting:
- Overloaded plugin☆31Jun 15, 2024Updated last year
- An implementation of first-class pattern matches in Haskell.☆13Updated this week
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated last month
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Apr 3, 2024Updated last year
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 2 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆72Jan 2, 2026Updated 2 months ago
- join and meet semilattices, lower and upper bounds.☆48Sep 22, 2025Updated 5 months ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 4 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆72May 30, 2023Updated 2 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- Plucky errors and exceptions☆20Nov 7, 2020Updated 5 years ago
- ☆14Oct 4, 2021Updated 4 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated this week
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Oct 27, 2023Updated 2 years ago
- Type Level Regular Expressions☆12Sep 26, 2023Updated 2 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated 11 months ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 3 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Mar 20, 2020Updated 5 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- ☆31Mar 5, 2022Updated 3 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Haskell project statistics and definition analysis☆15Mar 17, 2023Updated 2 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 2 years ago