Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
jwiegley
Star
11716
Rank
1448
Go to GitHub
Fetched on 2024/02/21 13:24
143 Repositories
use-package
4343
git-scripts
1334
emacs-async
806
git-from-the-bottom-up
781
category-theory
727
dot-emacs
630
alert
429
nix-config
414
gitlib
177
coq-haskell
163
org-mode
155
emacs-chess
122
coq-pipes
100
git-undo-el
91
control-theory
79
putting-lenses-to-work
76
nix-update-el
72
una
68
use-package-examples
56
regex-tool
50
notes
44
git-annex-el
43
z3cat
38
emacs-release
36
newartisans
35
emacs-pl
31
bytestring-fiat
31
trade-journal
29
periods
29
gdtoa
27
c2hsc
26
simple-conduit
25
hours
24
thinking-with-functions
23
parsec-free
22
comparable
21
pushme
20
async-pool
20
haskell-config
19
categorical
19
ghc-dynamic-example
18
scripts
17
linearscan
17
coq-cds4ltl
17
git-all
16
coq-lattice
16
springboard
15
logging
15
haskell-to-c
15
ready-lisp
14
1
2
3
›