Fialyzer is a type checker for Erlang written in OCaml.
This project is aimed at implementing faster version of Dialyzer, which is a widely-used type checker for Erlang.