Simple adjunctions
☆45Jan 10, 2026Updated 9 months ago
Alternatives and similar repositories for adjunctions
Users that are interested in adjunctions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- pointed and copointed data☆24Mar 3, 2025Updated last year
- Haskell 98 Profunctors☆73Sep 28, 2026Updated last month
- Dual Traversable☆42Jan 10, 2026Updated 9 months ago
- the 'invariant' Haskell package for invariant functors☆16Jun 17, 2026Updated 4 months ago
- Haskell 98 contravariant functors☆74Jan 10, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆84Jan 10, 2026Updated 9 months ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Sep 4, 2026Updated last month
- ☆76Sep 21, 2026Updated last month
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- Semigroups, specialized containers and a general map/reduce framework☆47Mar 3, 2025Updated last year
- Haskell 98 comonads☆80Jan 10, 2026Updated 9 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆59Jan 11, 2026Updated 9 months ago
- phantom types☆41Sep 28, 2026Updated last month
- Derive Template Haskell's Lift class for datatypes.☆13Jan 4, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Haskell 2010 stream comonads☆25Dec 6, 2024Updated last year
- Leibnizian type equality☆13Mar 12, 2023Updated 3 years ago
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- Haskell98 indexed functors, monads, comonads☆26Mar 8, 2022Updated 4 years ago
- free monads☆190Jan 11, 2026Updated 9 months ago
- Get terminal window width and height☆14Aug 14, 2024Updated 2 years ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 9 months ago
- categories from category-extras☆34Oct 9, 2019Updated 7 years ago
- Monad morphisms☆55Mar 29, 2026Updated 7 months 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.
- Zippers based on lenses and traversals☆39Aug 9, 2023Updated 3 years ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.☆12Oct 13, 2013Updated 13 years ago
- Haskell 98 semigroups☆62Jan 10, 2026Updated 9 months ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year
- ☆22Jun 25, 2015Updated 11 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- the EitherT monad transformer☆60Sep 19, 2026Updated last month
- 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.
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆105Oct 4, 2026Updated 3 weeks ago
- constructive abstract algebra☆106Jan 30, 2020Updated 6 years ago
- ☆20May 4, 2026Updated 5 months ago
- Control.Effects☆19Apr 14, 2019Updated 7 years ago
- Filter with effects☆77Jan 5, 2025Updated last year
- Arrow based stream transducer☆20Jun 21, 2020Updated 6 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Aug 27, 2026Updated 2 months ago