dialyzer

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

Igniter installer for Elixir Vibe project conventions

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

Elixir wrapper around Incremental Dialyzer with LLM focused features

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

GraphQL-native Elixir SDK platform and monorepo for schema-driven providers, built as the document-first sibling to Pristine with shared runtime, code generation, provider verification, and workspace tooling for thin, configuration-driven client SDKs.