Gradient is a static typechecker for Elixir - View it on GitHub