zod

TypeScript-first schema declaration and validation library with static type inference

type

Runtime validation and processing of JavaScript types

type-check

type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.