170 Repositories
write-you-a-haskell
3481
wiwinwlh
2665
kaleidoscope
1040
bulletproofs
554
typechecker-zoo
449
numpile
412
gevent-tutorial
381
wasm
354
tinyjit
188
prism
159
minichat
132
mlir-egglog
126
zero-to-qed
122
kaylee
121
repline
108
papers
95
tiny-graphrag
94
zkp
89
dive-into-ghc
83
arithmetic-circuits
83
sympy-mcp
79
zurihac-crypto
77
cabal-edit
77
schnorr-nizk
76
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
40
llvm-tutorial-standalone
37
oblivious-transfer
37
cats
34
compiler-crates
31
pyrewrite
30
prm
29
hakyll-bootstrap
29
paris-fp
27
dotfiles
25
tiny-gpt2
23
llvm-codegen
23
tiny-r1
22
numpush
22