Linters, formatters and type checkers

SwiftLint is a static analysis tool and code formatter designed to enforce consistent coding styles and identify semantic issues within Swift source code. It functions as a command-line utility that evaluates code against established conventions to ensure uniform structure and architectural standards across a project. The tool distinguishes itself through a custom linting engine that leverages compiler-integrated syntax analysis to perform deep inspections of code structure. Beyond simple pattern matching, it supports automated source code transformation to correct formatting violations and resolve style errors directly within the source files. The project provides extensive support for custom validation logic, allowing developers to define bespoke rules using regular expressions or native code to meet specific project requirements. It also manages complex environments through hierarchical configuration merging, which enables the application of consistent rules across large, modular codebases by resolving inheritance and local overrides.

Ruff is a high-performance static analysis and code formatting tool designed for Python. Built in Rust, it functions as a comprehensive engine that scans source code to detect programming errors, security vulnerabilities, and deviations from established coding standards. By parsing source code into a structured tree representation, it provides both automated linting and style enforcement across entire projects. The tool distinguishes itself through its speed and deep integration into the development lifecycle. It utilizes parallelized file processing to maximize throughput on large codebases and offers a configuration-driven rule engine that allows developers to customize or suppress specific checks. Beyond standard Python scripts, it provides native support for Jupyter notebooks, Markdown files, and documentation strings, ensuring consistent quality across diverse document formats. Ruff serves as a versatile utility for project maintenance, offering automated import management and the ability to apply safe, automatic corrections to identified code quality issues. It integrates directly into development environments via the Language Server Protocol, providing real-time diagnostic highlighting, code actions, and rule documentation hovers. These capabilities extend to continuous integration pipelines and pre-commit hooks, enabling automated quality enforcement throughout the development process.

This project is a static analysis runner designed to identify bugs, performance bottlenecks, and stylistic inconsistencies within Go codebases. It functions as a comprehensive quality assurance suite that executes multiple analysis tools concurrently to provide a unified diagnostic report. By parsing source code into a structured representation, the tool enforces coding standards, validates import structures, and ensures consistent formatting across entire projects. The tool distinguishes itself through its ability to automate the remediation of identified issues, applying programmatic fixes directly to source files. It supports a plugin system that allows for the loading of custom binary modules, enabling teams to enforce project-specific architectural boundaries and unique validation rules. To maintain efficiency, the engine utilizes incremental result caching to skip redundant processing of unchanged files, while offering performance profiling to monitor and optimize the analysis process itself. Beyond core analysis, the project provides extensive integration capabilities for development workflows. It includes native components for continuous integration pipelines to automate quality checks during builds and supports the language server protocol to deliver real-time feedback within integrated development environments. Users can manage diagnostic output through directive-based suppression, path-based exclusions, and pattern matching to filter results according to project requirements.

SonarQube is a static code analysis platform used to scan source code and infrastructure scripts across multiple languages. It detects bugs, security vulnerabilities, and maintainability issues to ensure software meets reliability and security standards. The platform implements automated quality gates for continuous integration and delivery pipelines, verifying code against defined rules during merge or pull requests. It also integrates directly with code editors to provide real-time analysis results and quick-fix guidance during development. The system covers broad functional areas including software security scanning, the enforcement of organizational coding standards, and the application of predefined rule profiles to maintain code health.

Standard is a zero-configuration static analyzer, linter, and formatter for JavaScript. It functions as a style guide that enforces consistent coding rules and identifies programming errors without requiring manual configuration files. The tool distinguishes itself by providing an automatic code fixer that scans source files to correct style violations and ensure a uniform codebase. It implements a predefined rule set to eliminate the need for project-specific configuration. The project covers a broad range of static analysis capabilities, including support for experimental language syntax and various language variants. It provides command-line utilities for pattern-based linting, continuous integration, and version control hooks, alongside integrations for real-time feedback within text editors. The system includes utilities for output formatting and supports the definition of runtime environments and global variables to prevent undefined-variable warnings.

This project is a high-performance static type checker and comprehensive development toolkit for Python. It functions as a core analysis engine that identifies type inconsistencies and enforces code correctness, while simultaneously providing a language server implementation to deliver real-time diagnostics and intelligence directly within development environments. The tool distinguishes itself through a parallelized execution engine that maximizes performance across large-scale codebases and monorepo structures. It supports gradual type adoption, allowing developers to integrate type checking into existing projects incrementally, and features sophisticated analysis capabilities such as branch reachability detection and intersection type support to maintain precision. Beyond core type checking, the suite provides extensive automation for code quality assurance, including automated refactoring and fix suggestions for identified issues. It offers deep integration with build pipelines and version control systems, while its hierarchical configuration system allows for granular control over analysis rules, environment targeting, and diagnostic reporting across diverse project setups.

Flow is a JavaScript static type checker and AST parser that identifies type errors and prevents runtime failures through static annotations. It functions as a code intelligence engine and a static analysis linter to identify unsafe coding patterns and enforce consistency across a codebase. The project includes a type annotation stripper that removes static type signatures from source code, ensuring the resulting JavaScript is compatible with any runtime environment. It also provides a parser that converts typed JavaScript into an abstract syntax tree conforming to the ESTree specification. The system covers a wide range of developer experience capabilities, including type-aware autocomplete, jump-to-definition, and hover type information. It further supports automated code refactoring, type coverage analysis to identify untyped areas, and the definition of exact object types and opaque types.

Oxc is a high-performance toolchain designed for the analysis, linting, formatting, and transformation of JavaScript and TypeScript codebases. It functions as a comprehensive static analysis engine and compiler-based utility, providing the infrastructure necessary to parse source code into high-performance abstract syntax trees and map complex module dependency graphs across entire projects. The project distinguishes itself through its use of multi-core parallel processing to maximize throughput during intensive tasks like linting and minification. It offers deep, type-aware static analysis that identifies complex safety issues beyond standard syntax checks, and it integrates directly into development environments via the Language Server Protocol to provide real-time diagnostic feedback and code intelligence. Beyond its core analysis capabilities, the platform includes a suite of automation utilities for CI pipelines, commit enforcement, and build system integration. It supports advanced code transformation techniques, including dead code elimination, component memoization, and syntax lowering, to produce optimized, production-ready output. The system also features hierarchical configuration management, allowing for consistent rule enforcement and shared settings across large-scale monorepos.

This project is a static analysis engine designed to identify patterns, enforce coding standards, and automate code quality improvements in software projects. By parsing source code into structured abstract syntax trees, it enables deep programmatic inspection and the automated remediation of identified programming issues. The engine functions as a pluggable linting framework, allowing developers to extend its core capabilities through a modular architecture. Users can inject custom rules, parsers, and processors to support non-standard file formats or domain-specific logic. This extensibility is supported by a multi-stage pipeline that handles everything from initial parsing to the generation of automated code fixes. Configuration is managed through a hierarchical system that resolves settings across project directory structures, allowing for consistent rule enforcement and file exclusion patterns. The tool integrates into development workflows via a command-line interface or a programmatic API, which supports both file-based analysis and raw string processing. Performance is optimized through file-system-aware caching, which ensures that only modified files are re-analyzed during execution.

Black is a deterministic Python code formatter and style guide enforcer. It automatically reformats source code and Jupyter notebook cells into a consistent style to eliminate manual debates over code layout and reduce noise in version control diffs. The tool uses abstract syntax tree analysis to restructure code layout while ensuring that the underlying functional logic remains unchanged. It employs a deterministic engine that produces a single consistent output for any given input, removing subjective styling choices. The system provides capabilities for in-place file mutation, automated style enforcement across entire projects, and the use of configuration files to define line lengths and excluded file patterns. It further verifies code integrity by comparing the abstract syntax trees of the original and reformatted code to ensure functional equivalence.

Prettier is an opinionated code formatter that parses source code and reprints it from scratch to enforce a consistent, project-wide visual style. By transforming code into an abstract syntax tree and applying a recursive document printing process, it eliminates manual style debates and ensures that all source files adhere to a unified appearance. The project is distinguished by its extensible, plugin-based architecture, which decouples language-specific parsing logic from the core engine. This modular design allows for uniform style enforcement across diverse programming languages and complex, mixed-content files where code is embedded within other languages. It also provides robust support for configuration-driven workflows, allowing teams to resolve hierarchical settings across directory trees and share standardized rule sets through reusable configuration packages. Beyond its core formatting engine, the tool integrates into the entire development lifecycle. It offers programmatic APIs and command-line utilities for file discovery, change detection, and verification, alongside native support for editor-based formatting on save. The system also facilitates integration with linting workflows and continuous integration pipelines, enabling automated style enforcement through pre-commit hooks and status checks that ensure only properly formatted code enters version control.

This project is an uncompromising, deterministic code formatter for Python. It functions by parsing source code into an abstract syntax tree and regenerating it according to a rigid, opinionated set of style rules. By automating the formatting process, it eliminates manual style debates and configuration overhead, ensuring that code remains consistent across entire projects regardless of the original input. The tool distinguishes itself through its focus on speed and seamless integration into development workflows. It utilizes content-based file caching and parallel processing to maintain high performance on large codebases, while supporting version control hooks to enforce style consistency before code is committed. To preserve project history, it provides mechanisms to ignore specific commits in version control blame tracking, ensuring that automated style changes do not obscure original authorship. Beyond standard source files, the formatter extends its capabilities to include Jupyter notebooks, type stubs, and embedded code examples within documentation. It offers broad compatibility through plugins for major text editors and integrated development environments, as well as support for the language server protocol. Configuration is managed through project-level files that are automatically discovered within the directory hierarchy, allowing for consistent behavior across diverse development environments.

p3c is a Java static analysis tool and code quality linter designed to enforce professional coding guidelines and quality standards. It utilizes a set of custom rules based on the PMD engine to scan source code for style violations, performance bottlenecks, and potential bugs. The project is distributed as an IDE linting plugin that provides real-time feedback and warnings during development. It also includes functionality for pre-commit code quality gates, allowing modified files to be scanned and blocked if they violate defined rules before being committed to version control. The analysis surface covers a wide range of categories, including concurrency auditing, exception handling validation, and object-oriented implementation verification. It specifically includes a SQL performance analyzer to detect inefficient database queries and mapping logic, as well as security control enforcement for input validation and authorization checks. Additional capabilities include the enforcement of naming conventions, formatting styles, and documentation standards.

Standard is a suite of static analysis tools for JavaScript, comprising a linter, formatter, and a predefined style guide. It functions as a static code analyzer that scans source code for style violations and potential errors without executing the program. The project provides an automatic code fixer that rewrites source code to resolve formatting issues and enforce syntax consistency. It implements a standardized set of rules for JavaScript formatting and syntax to ensure a uniform appearance across different projects. The system covers a wide range of static analysis capabilities, including the restriction of unsafe programming patterns, the management of semicolon usage, and support for modern ECMAScript syntax. It supports analysis of code embedded in Markdown or HTML files and integrates with version control workflows via git hooks to run style checks during the pre-commit phase. The toolset includes native IDE integration and a programmatic API for retrieving structured reports on analysis results.

This project is a static analysis tool and linter designed to improve the quality, reliability, and portability of shell scripts. By performing deep structural analysis, it identifies common programming pitfalls, syntax errors, and security vulnerabilities before scripts are executed. It functions as an automated code reviewer that enforces best practices and helps developers maintain consistent, robust code across different operating environments. The tool distinguishes itself through its dialect-aware grammar resolution, which adapts its parsing logic based on the specific shell interpreter detected. It utilizes a sophisticated engine that constructs an abstract syntax tree to evaluate logic, quoting, and portability concerns. Developers can exert granular control over the analysis process by using inline directives to suppress specific warnings or configure how the tool resolves external source files. The project covers a comprehensive surface of diagnostic capabilities, ranging from fundamental syntax validation to complex logic checks. It provides guidance on idiomatic script construction, including safe file handling, efficient arithmetic operations, and proper command substitution. These features collectively ensure that scripts adhere to POSIX standards and remain compatible across various shell implementations. The tool is distributed as a command-line utility, allowing for integration into development workflows to provide immediate feedback on script integrity.

Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics, completions, and navigation in any editor supporting the Language Server Protocol. It also performs static tensor shape analysis, using symbolic dimension variables and arithmetic to verify shape consistency in deep learning models without runtime execution. Beyond core type checking, Pyrefly supports gradual adoption workflows: it can generate a baseline of known errors so only new issues are reported, migrate configuration from other type checkers, and automatically suppress existing errors. Preset-based strictness tiers—safe, strict, and custom—control the level of checking. The checker natively understands Django ORM models, class-based views, and Pydantic models, inferring types without plugins. It integrates with CI pipelines through pre-commit hooks and inline error annotations on pull requests. Pyrefly’s incremental architecture re-checks only modified files, providing sub-second feedback. Import resolution prefers stub files over source code and bundles type stubs for popular libraries. The language server offers autocomplete, hover information, inlay hints, signature help, code actions, and navigation features such as go-to-definition, find all references, call and type hierarchies, and workspace symbol search. Diagnostics appear in notebooks and with semantic token highlighting. Configuration is handled through project files with options for import resolution, typeshed paths, and types of errors to report. The checker measures type coverage and can report per-module statistics.