GitHub repository: turion/ex_type
Primary language: Elixir
Description: A type checker for Elixir