Extensible sums and products for Haskell
☆19Feb 25, 2026Updated 4 months 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 2 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jun 30, 2026Updated 3 weeks ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 4 months ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Provide warnings for unexpected Core generation☆28Nov 17, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 3 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 8 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆22Apr 3, 2024Updated 2 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated 5 months ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 6 years ago
- join and meet semilattices, lower and upper bounds.☆48Sep 22, 2025Updated 10 months ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 5 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Jun 19, 2021Updated 5 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.☆29Feb 25, 2026Updated 4 months ago
- ☆14Oct 4, 2021Updated 4 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆72May 30, 2023Updated 3 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☆75Jun 24, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 2 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆19Sep 20, 2021Updated 4 years ago
- Access unicode character database☆18Jun 5, 2026Updated last month
- ☆31Mar 5, 2022Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆69Updated this week
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- ☆17Jun 8, 2026Updated last month
- Workflow for CONNectivity preserving Geometry Optimization☆11Sep 2, 2021Updated 4 years ago
- Demonstrating how to make type families faster using typechecker plugins☆20Dec 29, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 6 months ago
- Dhall-configured inductive API definitions☆23Feb 26, 2020Updated 6 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 5 years ago
- GHC Whole Program Compiler and External STG IR tooling☆121Jul 1, 2026Updated 3 weeks ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 4 years ago
- Haskell project statistics and definition analysis☆15Mar 17, 2023Updated 3 years ago