1 repository on SrcLog
📐 Validation and unit conversion errors in TypeScript at compile-time. Started in 2016. Publicised in 2020.