212 Repositories
use-package
4464
git-scripts
1370
emacs-async
911
git-from-the-bottom-up
890
category-theory
804
dot-emacs
787
alert
468
nix-config
458
gitlib
187
coq-haskell
172
emacs-chess
136
coq-pipes
100
git-undo-el
96
gptel-prompts
88
nix-update-el
84
control-theory
80
putting-lenses-to-work
77
ob-gptel
77
una
73
use-package-examples
57
regex-tool
52
notes
50
git-annex-el
46
gdtoa
42
z3cat
39
emacs-release
38
trade-journal
35
periods
35
newartisans
34
bytestring-fiat
34
emacs-pl
32
comparable
26
c2hsc
26
thinking-with-functions
25
hours
25
simple-conduit
24
rag-client
23
pushme
23
parsec-free
23
coq-cds4ltl
23
scripts
21
org-jw
21
coq-lattice
21
haskell-config
20
claude-prompts
20
categorical
20
async-pool
20
ready-lisp
18
ghc-dynamic-example
18
linearscan
17