Haskell category-theory

Open-source Haskell projects categorized as category-theory
Edit details
Topics: Haskell Data Generics Functor Effects
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 9 Haskell category-theory Projects

  • LtuPatternFactory

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

  • lawvere

    A categorical programming language with effects (by jameshaydon)

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • rzk

    An experimental proof assistant based on a type theory for synthetic ∞-categories.

    • Project mention: RZK: Experimental proof assistant for synthetic ∞-categories | news.ycombinator.com | 2023-09-28

  • categorifier

    Interpret Haskell programs into any cartesian closed category.

    • Project mention: Code generation with Haskell itself as the DSL | /r/haskell | 2023-05-20

    One step further is then (Compiling to Categories)[https://github.com/compiling-to-categories/concat] which tries to make the previous approach more convenient. It aims to overload any Haskell function from a -> b into a Category a b. Then, typeclass instances are used to transfrom those functions into virtually anything. While this project is very interesting, it is probably the most experimental one. You can also take a look at the overloaded package or at this novel categorifier plugin.

  • data-category

    Library of categories, with categorical constructions on them

  • free-functors

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

  • monoidal-functors

    A library encoding monoidal functors and related structures in Haskell.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • split-morphism

    :curly_loop: Split Morphisms

  • discokitty

    An educational implementation of some aspects of the DisCoCat framework

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).

Haskell category-theory related posts

Index

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

Project Stars
1 LtuPatternFactory 976
2 lawvere 262
3 rzk 187
4 categorifier 56
5 data-category 54
6 free-functors 27
7 monoidal-functors 16
8 split-morphism 10
9 discokitty 8

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com