154 Repositories
write-you-a-haskell
3515
wiwinwlh
2659
kaleidoscope
1040
bulletproofs
549
numpile
411
typechecker-zoo
395
gevent-tutorial
381
wasm
355
tinyjit
186
minichat
132
kaylee
121
mlir-egglog
118
repline
108
zero-to-qed
101
papers
96
tiny-graphrag
93
zkp
89
arithmetic-circuits
83
dive-into-ghc
82
cabal-edit
77
zurihac-crypto
77
schnorr-nizk
76
usolver
65
haskell-vim-proto
63
double-ratchet
61
pairing
56
sympy-mcp
54
galois-field
53
zeromq-chat
53
aos-signature
49
sonic
48
pynanomsg
46
elliptic-curve
43
vim-ormolu
41
subpy
41
oblivious-transfer
37
llvm-tutorial-standalone
37
kitty-cats
36
cats
34
pyrewrite
30
prm
29
hakyll-bootstrap
29
paris-fp
27
dotfiles
25
compiler-crates
25
llvm-codegen
23
tiny-r1
22
numpush
22
tiny-gpt2
21
shamir
21