リポジトリ

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)