GitHub repos by jwiegley
11 public repos by jwiegley in the catalog, most starred first.
- jwiegley/use-packageStars: 4,453Emacs LispRC
- jwiegley/git-scriptsStars: 1,370ShellBeta
- jwiegley/emacs-asyncStars: 914Emacs LispBeta
- jwiegley/git-from-the-bottom-upStars: 893SCSSBeta
- jwiegley/category-theoryStars: 819Rocq ProverBeta
- jwiegley/dot-emacsStars: 795Emacs LispBeta
- jwiegley/alertStars: 469Emacs LispAlpha
- jwiegley/gitlibStars: 188HaskellPrototype
- jwiegley/coq-haskellStars: 171CoqPrototype
- jwiegley/emacs-chessStars: 138Emacs LispPrototype
- jwiegley/coq-pipesStars: 100Rocq ProverPrototype