# Dépôts de jwiegley

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

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

Les 11 dépôts GitHub publics de jwiegley, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de jwiegley

11 dépôts publics de jwiegley au catalogue, du plus étoilé au moins étoilé.

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

## Voir jwiegley sur GitHub

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

---
Données : GitHub
