Extensible sums and products for Haskell
☆19Feb 25, 2026Updated 3 weeks ago
Alternatives and similar repositories for summer
Users that are interested in summer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Overloaded plugin☆31Jun 15, 2024Updated last year
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Mar 6, 2026Updated 2 weeks ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 3 weeks ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆22Apr 3, 2024Updated last year
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated last month
- join and meet semilattices, lower and upper bounds.☆48Sep 22, 2025Updated 6 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
- ☆11Jun 19, 2021Updated 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
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Feb 25, 2026Updated 3 weeks ago
- ☆14Oct 4, 2021Updated 4 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆72May 30, 2023Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Oct 27, 2023Updated 2 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆73Jan 2, 2026Updated 2 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Aug 6, 2023Updated 2 years ago
- ☆31Mar 5, 2022Updated 4 years ago
- Access unicode character database☆18Sep 16, 2025Updated 6 months ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Sep 20, 2021Updated 4 years ago
- Plucky errors and exceptions☆20Nov 7, 2020Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Interpret Haskell programs into any cartesian closed category.☆69Mar 13, 2026Updated last week
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- Dhall-configured inductive API definitions☆23Feb 26, 2020Updated 6 years ago
- Workflow for CONNectivity preserving Geometry Optimization☆11Sep 2, 2021Updated 4 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 3 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- Haskell project statistics and definition analysis☆15Mar 17, 2023Updated 3 years ago