Kinder Functor
An alternate definition of Haskell's Functor typeclass
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Category Theory | 720 | 3 months ago | 4 | bsd-3-clause | Coq | |||||
| An axiom-free formalization of category theory in Coq for personal study and practical work | ||||||||||
| Scala_typeclassopedia | 374 | 5 months ago | 31 | cc-by-sa-4.0 | Scala | |||||
| Abstractions from Category theory with simple description & implementation, links to further resources. | ||||||||||
| Konad | 57 | 2 years ago | 20 | June 28, 2021 | 6 | mit | Kotlin | |||
| Monads composition API that just works. For OOP developers | ||||||||||
| Kinder Functor | 41 | 5 years ago | 1 | Haskell | ||||||
| An alternate definition of Haskell's Functor typeclass | ||||||||||
| Function Composition Cheatsheet | 22 | 4 years ago | 1 | mit | ||||||
| Composition of Functions | ||||||||||
| Scala Reggen | 19 | 6 years ago | Scala | |||||||
| Generic programming experiment in Scala | ||||||||||
| Conkin | 18 | 5 years ago | 1 | October 26, 2017 | Haskell | |||||
| Tools for functors from Hask^k to Hask | ||||||||||
| Zaha | 5 | 7 months ago | Python | |||||||
| Categorical diagrams with a minimum of code. | ||||||||||
Alternatives To Kinder FunctorSelect To Compare
Alternative Project Comparisons
Popular Functor Projects
Popular Arrow Projects
Popular Learning Resources Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Arrow
Functor