📐 Validation and unit conversion errors in TypeScript at compile-time. Started in 2016. Publicised in 2020. - View it on GitHub