Docs.rs

An orchestrator crate for Mago, coordinating various components to provide a unified PHP tooling experience.

Interactive JSON query tool with real-time output

ANSI terminal output to PNG renderer

A comprehensive suite of PHP tooling inspired by Rust’s approach, providing parsing, linting, formatting, and more through a unified CLI and library interface.

A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.

A PHP linter that identifies common coding errors, style issues, and potential bugs, helping maintain high code quality.

A PHP static analyzer that can detect type errors in PHP code, and provide suggestions for fixing them.

A PHP dependencies guard that helps keep your architecture clean.

The pre-compiled prelude of PHP's built-in symbols, used by Mago for fast, dependency-free analysis.

The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses.

PHP type system representation, comparison logic, and codebase metadata for static analysis.

Quantum-resistant steganography toolkit for journalists and whistleblowers

PHP Semantics Checker.

Resolves and normalizes identifiers (classes, functions, constants) within PHP code.

Position-insensitive AST fingerprinting for incremental analysis