Mix tasks to simplify use of Dialyzer in Elixir projects.

• UpdatedNov 6, 2025
• Elixir

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

• UpdatedNov 19, 2025
• Elixir

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

• UpdatedJul 26, 2025
• Elixir

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

• UpdatedJul 6, 2021
• Elixir

Convert Erlang style structs and error messages to equivalent Elixir.

• UpdatedApr 26, 2024
• Elixir

Meta Testing Utilities for common_test

• UpdatedOct 29, 2021
• Erlang

Pre-built Dialyzer Persistent Lookup Tables for Travis and Elixir

• UpdatedJan 22, 2018

Propagate specs to runtime types

• UpdatedSep 21, 2022
• Elixir

Daily Dialyzer checks on Elixir source code

• UpdatedFeb 7, 2026
• Elixir

Extended Types. Import additional types to your Elixir modules.

• UpdatedJan 16, 2022
• Elixir

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

• UpdatedFeb 6, 2022
• Elixir

⚛︎ Find misplaced atoms in Erlang code

• UpdatedJan 29, 2021
• Erlang

• UpdatedOct 23, 2018
• Ruby

Generating type specs for NimbleOptions schemas

• UpdatedJun 23, 2020
• Elixir

🛠️ Transform confusing error messages into clear explanations for easier debugging and improved coding practices.

• UpdatedFeb 7, 2026
• TypeScript