Haskell category-theory

Open-source Haskell projects categorized as category-theory Edit details

Top 5 Haskell category-theory Projects

  • LtuPatternFactory

    Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

    Project mention: design patterns | reddit.com/r/haskell | 2022-07-03

    You can have a look at this for a beginning primer https://github.com/thma/LtuPatternFactory

  • lawvere

    A categorical programming language with effects

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • data-category

    Library of categories, with categorical constructions on them

    Project mention: Monthly Hask Anything (October 2021) | reddit.com/r/haskell | 2021-10-02

    Even a fairly simple statement like "F preserves direct limits over N" is basically impossible to express like this. You can step further from Hask and work at the type level until the very end (which I believe is the approach taken by data-category), you can resign yourself to only expressing things that can be "defunctionalized" (an appropriate use of the term, I think, if not a correct one) down to Haskell functions, which gets you (Co)Yoneda, Lan, Ran, etc. in the general case and I think Traversable in this particular instance, or you can take some intermediate approach with constrained functions and/or explicit witnesses in your data types, but you can't make proper category theory "just work" the way it should.

  • free-functors

    Provides free functors that are adjoint to functors that forget class constraints.

  • split-morphism

    :curly_loop: Split Morphisms

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-07-03.

Haskell category-theory related posts


What are some of the best open-source category-theory projects in Haskell? This list will help you:

Project Stars
1 LtuPatternFactory 820
2 lawvere 208
3 data-category 47
4 free-functors 27
5 split-morphism 9
Find remote jobs at our new job board 99remotejobs.com. There are 3 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives