156 Repositories
write-you-a-haskell
3472
wiwinwlh
2662
kaleidoscope
1041
bulletproofs
550
typechecker-zoo
417
numpile
412
gevent-tutorial
381
wasm
354
tinyjit
187
minichat
132
kaylee
121
mlir-egglog
120
zero-to-qed
108
repline
108
papers
96
tiny-graphrag
95
zkp
90
dive-into-ghc
83
arithmetic-circuits
83
zurihac-crypto
77
cabal-edit
77
schnorr-nizk
76
sympy-mcp
67
usolver
65
haskell-vim-proto
63
double-ratchet
61
pairing
55
zeromq-chat
53
galois-field
53
aos-signature
49
sonic
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
28
paris-fp
27
dotfiles
25
llvm-codegen
23
tiny-r1
22
tiny-gpt2
22
numpush
22
shamir
21