They should just use deno to run their setup, there would be no compilation if they did that. ;)

Someone is trying to rewrite tsc in rust for speed up here - https://github.com/swc-project/swc

Cool project for runtime checking with ts - https://github.com/gcanti/io-ts

Edit: Remove unmaintained runtime type checking library.