profunctor 开源项目推荐（6 个）

profunctor 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。

6收录项目

853Star 总量

4覆盖语言

热门项目全部 6

GitHub 共 6 个仓库，已全部展示

An axiom-free formalization of category theory in Coq for personal study and practical work

Minimal unidirectional global state management library (less boilerplate heavy alternative for Redux)

I have no idea what I'm doing, by using concepts from this repo you are risking being called stupid or sth by CT people

A port of profunctors from Haskell to Lean 4.

Implementation of Reader as a example of profunctor.

Reference implementation of Profunctor Optics in Typescript

清单取自 GitHub 话题页并按 Star 数排序，每次展示前 6 个项目；原始页面见 https://github.com/topics/profunctor。
该话题在 GitHub 上共有 6 个仓库，本站收录的是其中最热门的 6 个，不是全量列表。
Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
当前 6 个项目累计 853 Star，覆盖 4 种主要语言，数据更新于 2026-11-07。
中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。