TypeScript type checker written in Rust
github.com