# GitHub repos by jwiegley

<https://repo.masters-masters.com/en/owners/jwiegley>

[Home](https://repo.masters-masters.com/en) › [jwiegley](https://repo.masters-masters.com/en/owners/jwiegley)

All 11 public GitHub repos by jwiegley in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by jwiegley

11 public repos by jwiegley in the catalog, most starred first.

- [jwiegley/use-package · ★ 4,453 · Emacs Lisp · RC](https://repo.masters-masters.com/en/repos/jwiegley/use-package)
- [jwiegley/git-scripts · ★ 1,370 · Shell · Beta](https://repo.masters-masters.com/en/repos/jwiegley/git-scripts)
- [jwiegley/emacs-async · ★ 914 · Emacs Lisp · Beta](https://repo.masters-masters.com/en/repos/jwiegley/emacs-async)
- [jwiegley/git-from-the-bottom-up · ★ 893 · SCSS · Beta](https://repo.masters-masters.com/en/repos/jwiegley/git-from-the-bottom-up)
- [jwiegley/category-theory · ★ 819 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/jwiegley/category-theory)
- [jwiegley/dot-emacs · ★ 795 · Emacs Lisp · Beta](https://repo.masters-masters.com/en/repos/jwiegley/dot-emacs)
- [jwiegley/alert · ★ 469 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/jwiegley/alert)
- [jwiegley/gitlib · ★ 188 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/jwiegley/gitlib)
- [jwiegley/coq-haskell · ★ 172 · Coq · Prototype](https://repo.masters-masters.com/en/repos/jwiegley/coq-haskell)
- [jwiegley/emacs-chess · ★ 138 · Emacs Lisp · Prototype](https://repo.masters-masters.com/en/repos/jwiegley/emacs-chess)
- [jwiegley/coq-pipes · ★ 100 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/jwiegley/coq-pipes)

## See jwiegley on GitHub

- [https://github.com/jwiegley](https://github.com/jwiegley)

---
Data: GitHub