free-functors
categorifier
free-functors | categorifier | |
---|---|---|
- | 1 | |
27 | 56 | |
- | - | |
0.0 | 7.4 | |
about 3 years ago | 3 months ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
free-functors
We haven't tracked posts mentioning free-functors yet.
Tracking mentions began in Dec 2020.
categorifier
-
Code generation with Haskell itself as the DSL
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.
What are some alternatives?
unordered-containers - Efficient hashing-based container types
discokitty - An educational implementation of some aspects of the DisCoCat framework
split-morphism - :curly_loop: Split Morphisms
concat - Compiling to Categories
rzk - An experimental proof assistant based on a type theory for synthetic ∞-categories.
monoidal-functors - A library encoding monoidal functors and related structures in Haskell.
lens - Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
LtuPatternFactory - Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
alfred-margaret - Fast Aho-Corasick string searching