143 Repositories
use-package
4370
git-scripts
1345
emacs-async
820
git-from-the-bottom-up
809
category-theory
734
dot-emacs
650
alert
432
nix-config
422
gitlib
177
coq-haskell
164
org-mode
155
emacs-chess
124
coq-pipes
99
git-undo-el
91
control-theory
79
putting-lenses-to-work
77
nix-update-el
73
una
68
use-package-examples
56
regex-tool
50
notes
45
git-annex-el
43
z3cat
38
emacs-release
36
newartisans
35
emacs-pl
31
bytestring-fiat
31
trade-journal
30
periods
29
gdtoa
28
c2hsc
26
simple-conduit
25
hours
24
thinking-with-functions
23
parsec-free
22
comparable
22
async-pool
21
pushme
20
haskell-config
19
categorical
19
ghc-dynamic-example
18
scripts
17
linearscan
17
coq-lattice
17
coq-cds4ltl
17
git-all
16
springboard
15
logging
15
haskell-to-c
15
ready-lisp
14