Aquascope is a tool that generates interactive visualizations of Rust programs at compile-time and run-time.
Aquascope addresses the challenge of understanding how Rust's borrow checker analyzes code and how programs execute. It works by creating interactive diagrams that visualize ownership, borrowing, and program state, making the abstract rules of Rust's type system concrete and observable. The tool integrates with mdBook as a preprocessor, allowing developers to embed these visualizations directly into documentation by adding special code blocks to Markdown files.
The tool suits educational contexts and documentation projects where explaining Rust's memory model to learners is important. It works best for teaching materials and books rather than as a development-time debugging tool. The project explicitly identifies itself as research software, which means the interface and feature set may change as the work evolves.
Development on the project is active but measured, with maintainers explicitly welcoming bug reports and contributions while acknowledging the experimental nature of the work. The codebase shows ongoing refinement of core functionality, particularly around the stability of the visualization interface. The team maintains direct communication channels for users encountering difficulties, indicating responsiveness to adoption challenges.
