Code Analysis

A static code analysis tool with a focus on code consistency and teaching.

Mix tasks to simplify use of Dialyzer in Elixir projects.

Utilities to work with Elixir source code.

Functions useful for processing Erlang code.

Core library for the Erlang style reviewer

A code-style enforcer that will just FIFY instead of complaining

An analysis tool for checking safety of database migrations.

A Credo-configured code-style enforcer that will just fix it for you instead of complaining

Managing cross-module dependencies in Elixir projects.

Erlang linter - rebar3 plugin

erlfmt is an opinionated Erlang code formatter

Credo checks that catch AI-generated code slop in Elixir

Code duplication detector powered by Elixir AST analysis

One task to efficiently run all code analysis & testing tools in an Elixir project

A rebar plugin for code formatting

A rebar plugin for dead code cleaning

Program dependence graph for Elixir and Erlang

A suite of checks to enforce naming best practices in an Elixir project.

rebar3 plugin to format Erlang code a la `gofmt`

A collection of opinionated Credo checks aimed at improving code quality and catching common mistakes in Elixir, Oban, and LiveView

A Mix formatter that sorts your Tailwind classes

Generate an HTML report from dialyzer output

Pretty print SQL queries

Custom Credo checks for detecting common Elixir/Phoenix anti-patterns including N+1 queries, missing error handling, blocking operations, telemetry gaps, and more. Provides 20 comprehensive static analysis checks to improve code quality.

Mix compiler tracer for detecting unused public functions

Credo checks for Ash Framework

A set of community-maintained checks for the Credo static analysis tool. Many of the checks are implementations of rules from https://github.com/christopheradams/elixir_style_guide.

Elixir formatter plugin for doctests.

Credo checks for Mox

An interface to the BEAM file format and a decompiler

An experimental linter with autocorrection.

Add-on for Credo for checking environment variables that get evaluated at Elixir compile time.

Dialyzer Mix task

A CI/CD tool for checking dependency license compatibility in Elixir projects. Reads license information from local hex metadata files and validates compatibility with your project's license using industry-standard rules.

An Elixir semantic linter that detects performance issues and non-idiomatic code via AST analysis.

Beautiful, compiler-style diagnostic messages for Elixir

Coverex is an Elixir Coverage tool used by mix. It provides tables with overviews of module and function coverage data, includings links to annotated source code files and supports coveralls.io.

Elixir bindings for the Biome formatter

Elixir `alias`, `import` and `require` sorter.

Infers types for expressions, effects and scope variables of EYG programs.

A linter for the Gleam programming language with 22 configurable rules

Add option to credo to generate sonarqube generic issue file

Calculate Change Risk Anti-Patterns scores from cyclomatic complexity and test coverage.

A module for Custom Credo checks (extensions) in addition to the default checks.

Static analysis that detects bare Ecto mutations on Carbonite-tracked tables missing audit transactions. Catches the gap between adding a trigger and updating all write paths.

Rebar3 Elvis plugin

A tool for running Dialyzer in incremental mode on Elixir projects.

A plugin for the lexical language server that enables Credo checks

Credo check to identify cases where `Enum.reduce` can be simplified to other `Enum` functions

Custom Credo checks used by the Blitz Backend Elixir team

Credo check to detect silent exception swallowing in rescue blocks. Enforces proper error handling by requiring logging, error reporting, or re-raising.

Duskmoon fork of Vize Elixir bindings — compile, lint, and format Vue SFCs via Rust NIFs.

Elixir NIF bindings for Tailwind CSS Oxide — fast parallel content scanning and candidate extraction.

Custom Credo checks targeting Enum anti-patterns LLMs commonly generate (filter |> map, map |> reject(is_nil), etc.)

A fork of the Elixir code formatter, with added freedom

A rebar3 plugin to run shellcheck on given shell scripts.

Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can be composed, re-used and turned into property-testing generators. TypeCheck also focuses on showing understandable messages on typecheck-failures.

A Credo check for deprecated functions

A code style linter for Elixir, powered by shame.

Xref Runner

One task to efficiently run all code analysis & testing tools in an Elixir project. Community-maintained fork of ex_check.

Cross-language code analysis library using unified MetaAST representation. Build mutation operators, purity analyzers, and complexity metrics once in Elixir and apply them across Python, JavaScript, Elixir, Ruby, Go, Rust, and more.

Churn supports finding refactoring candidates in your code

A check to ensure there are no compile time variables used across an Elixir project.

Run quality checks (credo, dialyzer, coverage, etc) in parallel with actionable output. Useful with LLMs.

A Credo check to ensure hygenic domain boundaries.

Binary pattern checks for Credo

A code formatter for Surface, the component based library for Phoenix LiveView

A code formatter for LFE