inference io-ts Runtime type system for IO decoding/encoding zod TypeScript-first schema validation with static type inference ts-pattern 🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.