Blueprints

Lean-style blueprints rendered with plasTeX — no Lean toolchain required.

Essential Coding Theory

Blueprint of the graduate textbook 'Essential Coding Theory' (Guruswami, Rudra, Sudan) — codes, bounds, constructions, decoding algorithms, and applications.

Expander Codes

Asymptotically good linear codes from expander graphs, with linear-time sequential and logarithmic-depth parallel decoding.