151 Repositories
use-package
4445
git-scripts
1365
emacs-async
847
git-from-the-bottom-up
841
category-theory
766
dot-emacs
703
alert
448
nix-config
445
gitlib
181
coq-haskell
168
emacs-chess
124
coq-pipes
97
git-undo-el
92
control-theory
80
nix-update-el
79
putting-lenses-to-work
76
una
69
use-package-examples
58
regex-tool
52
notes
48
git-annex-el
44
z3cat
38
emacs-release
37
newartisans
35
trade-journal
33
gdtoa
33
bytestring-fiat
32
emacs-pl
31
periods
30
c2hsc
27
simple-conduit
25
hours
25
thinking-with-functions
24
comparable
23
parsec-free
22
pushme
21
coq-lattice
20
coq-cds4ltl
20
async-pool
20
scripts
19
haskell-config
19
categorical
19
org-jw
18
ghc-dynamic-example
18
ready-lisp
17
linearscan
17
git-all
17
haskell-to-c
16
springboard
15
logging
15