仓库

jwiegley 的仓库

3 个支持的仓库

只显示包含已索引 issue 的仓库
jwiegley/category-theoryRocq Prover

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

最近提交 2026年5月19日

 (801 stars) (80 forks) (0 个已索引 issue) (0 个开放 good first issue)
jwiegley/monad-extrasHaskell

最近提交 2018年8月1日

 (9 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
jwiegley/use-packageEmacs Lisp

A use-package declaration for simplifying your .emacs

最近提交 2025年8月23日

 (4,468 stars) (263 forks) (0 个已索引 issue) (0 个开放 good first issue)