Yet another implementation of Erlang's Dialyzer written in Rust - View it on GitHub