Class of data structures that can be unfolded.
☆22Jan 6, 2026Updated 2 months ago
Alternatives and similar repositories for unfoldable
Users that are interested in unfoldable are comparing it to the libraries listed below
Sorting:
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated 2 months ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- A more flexible mtl☆62Feb 23, 2018Updated 8 years ago
- Experimental implementation of generic record subtyping☆18May 9, 2024Updated last year
- Structured logging solution.☆38Oct 22, 2025Updated 4 months ago
- The most complete prelude formed only from the "base" package☆29Oct 11, 2023Updated 2 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆45Aug 21, 2025Updated 6 months ago
- A Haskell event notification library☆46Aug 25, 2010Updated 15 years ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- MPFR bindings for Haskell☆34Oct 2, 2023Updated 2 years ago
- ☆23Oct 15, 2023Updated 2 years ago
- ☆31Oct 31, 2021Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- ☆12Feb 12, 2025Updated last year
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 2 months ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Memory-efficient representation of Unicode text strings☆22Jan 4, 2026Updated 2 months ago
- FoldMap lists☆12Mar 29, 2023Updated 2 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- ☆15Feb 1, 2026Updated last month
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Feb 15, 2026Updated 3 weeks ago
- ☆15Mar 29, 2023Updated 2 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- A monad transformer library for Haskell☆29Sep 2, 2024Updated last year
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- Monadic capabilities with late binding☆29Oct 30, 2023Updated 2 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆34Dec 4, 2024Updated last year
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 2 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- ☆20Jul 3, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- keyed functors☆23Jan 10, 2026Updated last month
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago