Topic · profunctor
profunctor
Tracked open-source repos tagged profunctor, sorted by stars.
Repos
1
Total stars
807
Avg. stars
807
Share
0.00%
Related topics
Topics that frequently appear alongside profunctor on the same repo.
Recent risers
Repos created in the last 90 days, tagged profunctor.
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
★ 808+1Star change over the last 7 days
