Spent a week in the break building a pre-compiler that brings type safety to runtime. Still pretty early, but generally does what it says.

Looking for feedback, code that breaks it (check out the playground), ideas etc.

This looks promising - I've always found the schema duplication annoying with Zod/Yup. Would be great to see benchmarks vs Typia/ArkType at https://moltar.github.io/typescript-runtime-type-benchmarks/