Mix tasks to simplify use of Dialyzer in Elixir projects.

⚗ The stable base upon which we build our Elixir projects at Mirego.

🏝 automated contract testing via type checking for Elixir functions and mocks

A Mix task for type-checking your Elixir project with dialyzer

Convert Erlang style structs and error messages to equivalent Elixir.

Meta Testing Utilities for common_test

Pre-built Dialyzer Persistent Lookup Tables for Travis and Elixir

Propagate specs to runtime types

Daily Dialyzer checks on Elixir source code

Extended Types. Import additional types to your Elixir modules.

Different example files that demonstrate how Dialyzer can catch simple type errors

⚛︎ Find misplaced atoms in Erlang code

Generating type specs for NimbleOptions schemas