01Branded and nominal typing to prevent accidental variable mixing
0229 GitHub stars
03Zod-driven runtime validation with schema inference and transformations
04Exhaustive type checking and assertNever patterns for switch statements
05End-to-end type-safe API communication patterns using tRPC
06Strict Python type narrowing and ty-compatible dictionary extraction