171 Repositories
write-you-a-haskell
3483
wiwinwlh
2667
kaleidoscope
1038
bulletproofs
554
typechecker-zoo
436
numpile
412
gevent-tutorial
381
wasm
354
tinyjit
187
minichat
132
zero-to-qed
121
mlir-egglog
121
kaylee
121
prism
116
repline
108
tiny-graphrag
95
papers
95
zkp
89
dive-into-ghc
83
arithmetic-circuits
83
zurihac-crypto
77
cabal-edit
77
schnorr-nizk
76
sympy-mcp
75
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
39
oblivious-transfer
37
llvm-tutorial-standalone
37
cats
34
pyrewrite
30
compiler-crates
30
prm
29
hakyll-bootstrap
29
paris-fp
27
dotfiles
25
llvm-codegen
23
tiny-r1
22
tiny-gpt2
22
numpush
22