hackage.haskell.org "category-theory" keyword
rzk 0.11.4
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme40 versions - Latest release: 7 days ago - 2 dependent packages - 1 dependent repositories - 2.41 thousand downloads total - 313 stars on GitHub - 1 maintainer
monoidal-functors 0.3.0.0 💰
A library encoding monoidal functors and related structures in Haskell.7 versions - Latest release: 3 days ago - 1 dependent package - 889 downloads total - 21 stars on GitHub - 1 maintainer
squares 0.2.1
A library for working with natural transformations of type See the Data.Square module for an int...6 versions - Latest release: over 3 years ago - 1 dependent repositories - 1.11 thousand downloads total - 8 stars on GitHub - 1 maintainer
split-morphism 0.1.0.1
Please see the README on GitHub at https://github.com/gvolpe/split-morphism#readme2 versions - Latest release: about 7 years ago - 1 dependent repositories - 1.03 thousand downloads total - 11 stars on GitHub - 1 maintainer
data-category 0.11
Library of categories, with categorical constructions on them29 versions - Latest release: over 3 years ago - 21.4 thousand downloads total - 59 stars on GitHub - 1 maintainer
free-functors 1.3
Provides free functors that are adjoint to functors that forget class constraints.37 versions - Latest release: 10 months ago - 27.8 thousand downloads total - 29 stars on GitHub - 1 maintainer
discokitty 0.1.0
An educational implementation of the DisCoCat framework.1 version - Latest release: over 7 years ago - 724 downloads total - 11 stars on GitHub - 1 maintainer
Feval 1.0.0.1
evaluation using f-algebras2 versions - Latest release: about 11 years ago - 1.81 thousand downloads total - 23 stars on GitHub - 1 maintainer
free-category 0.0.4.5
This package provides various data types for free categories, type aligned queues, arrows and typ...9 versions - Latest release: over 3 years ago - 1 dependent repositories - 3.1 thousand downloads total - 24 stars on GitHub - 1 maintainer
CPL 0.2.0
CPL is a functional programming language based on category theory. Data types are declared in a c...7 versions - Latest release: 9 months ago - 5.12 thousand downloads total - 181 stars on GitHub - 1 maintainer
explicit-constraint-lens 0.1.0.0
Taking the confusing parts out of lens without sacrificing the power.1 version - Latest release: almost 9 years ago - 1 dependent repositories - 982 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
Propose Tags
11
library
9
haskell
7
bsd3
6
program
4
math
3
data
3
lenses
2
gpl
2
generics
2
control
2
category
2
interpreter
2
mit
2
language
2
epimorphism
1
monoidal-categories
1
lens
1
monomorphism
1
categories
1
webassembly
1
programming-language
1
compilers-interpreters
1
morphism
1
optics
1
prism
1
distributional-semantics
1
discocat
1
state-machine
1
free
1
mpl
1
monads
1
algebra
1
functor
1
evaluation
1
algebras
1
proof-assistant
1
homotopy-type-theory
1
dependent-types
1