169 Repositories
write-you-a-haskell
3479
wiwinwlh
2664
kaleidoscope
1039
bulletproofs
550
typechecker-zoo
430
numpile
412
gevent-tutorial
381
wasm
354
tinyjit
187
minichat
132
mlir-egglog
122
kaylee
121
zero-to-qed
114
repline
108
papers
95
tiny-graphrag
94
zkp
89
dive-into-ghc
83
arithmetic-circuits
83
zurihac-crypto
77
cabal-edit
77
schnorr-nizk
76
sympy-mcp
74
usolver
65
haskell-vim-proto
63
double-ratchet
60
pairing
55
zeromq-chat
53
galois-field
53
sonic
48
aos-signature
48
pynanomsg
46
elliptic-curve
44
vim-ormolu
41
subpy
41
kitty-cats
38
oblivious-transfer
37
llvm-tutorial-standalone
37
cats
34
pyrewrite
30
prm
29
hakyll-bootstrap
29
compiler-crates
29
paris-fp
27
dotfiles
25
llvm-codegen
23
tiny-r1
22
tiny-gpt2
22
numpush
22
shamir
21