categories from category-extras
☆34Oct 9, 2019Updated 7 years ago
Alternatives and similar repositories for categories
Users that are interested in categories are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- pointed and copointed data☆24Mar 3, 2025Updated last year
- ☆17Oct 8, 2014Updated 12 years ago
- Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.☆12Oct 13, 2013Updated 13 years ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Sep 4, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆76Sep 21, 2026Updated last month
- Dual Traversable☆42Jan 10, 2026Updated 9 months ago
- Haskell 98 comonads☆80Jan 10, 2026Updated 9 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆59Jan 11, 2026Updated 9 months ago
- Haskell 98 semigroups☆62Jan 10, 2026Updated 9 months ago
- Haskell 98 contravariant functors☆74Jan 10, 2026Updated 9 months ago
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- Haskell 2010 stream comonads☆25Dec 6, 2024Updated last year
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆84Jan 10, 2026Updated 9 months ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 9 months ago
- Semigroups, specialized containers and a general map/reduce framework☆47Mar 3, 2025Updated last year
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 10 years ago
- the 'invariant' Haskell package for invariant functors☆16Jun 17, 2026Updated 4 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆132Jan 23, 2026Updated 9 months ago
- Fingertrees of Bytestrings☆20Dec 3, 2018Updated 7 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.
- constructive abstract algebra☆106Jan 30, 2020Updated 6 years ago
- the EitherT monad transformer☆60Sep 19, 2026Updated last month
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated last year
- Generic parser combinators☆92Mar 3, 2025Updated last year
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- a monadic graph library☆39Mar 3, 2025Updated last year
- Leibnizian type equality☆13Mar 12, 2023Updated 3 years ago
- free monads☆190Jan 11, 2026Updated 9 months ago
- Quasiquotation for Swift in Haskell☆10Jun 24, 2014Updated 12 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.
- phantom types☆41Sep 28, 2026Updated last month
- Haskell 98 Profunctors☆73Sep 28, 2026Updated last month
- Lens of Aeson☆13Feb 14, 2013Updated 13 years ago
- Monad morphisms☆55Mar 29, 2026Updated 7 months ago
- Simple adjunctions☆45Jan 10, 2026Updated 9 months ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 8 years ago
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 8 years ago