Topic · comonads
comonads
Tracked open-source repos tagged comonads, sorted by stars.
Repos
1
Total stars
806
Avg. stars
806
Share
0.00%
Related topics
Topics that frequently appear alongside comonads on the same repo.
Recent risers
Repos created in the last 90 days, tagged comonads.
No new repos tagged with this topic in the last 90 days.
- #1
An axiom-free formalization of category theory in Coq for personal study and practical work
★ 807+1Star change over the last 7 days
