ArkType

It has intuitive and concise type inference with 1:1 mapping to TypeScript syntax. It can be directly stored and transmitted in formats like JSON, making it easy to share validation across languages, and catches impossible type combinations (e.g., merging contradictory object properties) at definition time.