ekmett/kan-extensions
View on GitHubKan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
- Stars
- 84
- Forks
- 33
- Open beginner issues
- 0
- Indexed issues
- 22
- Dominant language
- Haskell
- License
- No license data
- Last GitHub push
- Jan 10, 2026
- Latest indexed
- Sep 15, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
ekmett/kan-extensions#3 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#18 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#22 · 1 comment · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#23 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#25 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#32 · 1 comment · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#33 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#36 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#37 · 1 comment · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#41 · 1 comment · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#43 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#45 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#46 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#59 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#62 · 0 comments · 0 reactions · 0 assignees ·
-
Direct-style CoT Open
ekmett/kan-extensions#63 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#64 · 2 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#72 · 0 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#75 · 1 comment · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#78 · 1 comment · 1 reaction · 0 assignees ·
-
ekmett/kan-extensions#80 · 2 comments · 0 reactions · 0 assignees ·
-
ekmett/kan-extensions#81 · 0 comments · 0 reactions · 0 assignees ·