Repositories

jwiegley repositories

3 supported repositories

Show repositories with indexed issues
jwiegley/category-theoryRocq Prover

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

Last commit May 19, 2026

 (801 stars) (80 forks) (0 indexed issues) (0 open good first issues)
jwiegley/monad-extrasHaskell

Last commit Aug 1, 2018

 (9 stars) (1 fork) (0 indexed issues) (0 open good first issues)
jwiegley/use-packageEmacs Lisp

A use-package declaration for simplifying your .emacs

Last commit Aug 23, 2025

 (4,468 stars) (263 forks) (0 indexed issues) (0 open good first issues)