ekmett/kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

by Edward Kmett Haskell Other licence 33 forks Created Feb 2011 View on GitHub

Stars
84
1% of ekmett's stars
Rank
#557,898
of 852,119 repos, top 66%

Among 852,119 repos

63–100 stars: 217,631 repos, including kan-extensions

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #552,665
Next milestone
+10 stars to reach the top 60%
Yearly average
5 stars a year since Feb 2011

Stars counted Recounted daily Next count around