tyx (hex): Library bringing types support to elixir.  Allows type validation in compile time.
Keywords: dependent-types|elixir|elixir-lang|types