GitHub repository: slackhq/hakana
Primary language: Rust
Description: Another typechecker for Hack, built by Slack