cognitive-engineering-lab/aquascope

Health v2 · maintenance only

Adoption not part of the score

3131 stars · 75 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Aquascope is a tool that generates interactive visualizations of Rust programs, showing how the borrow checker reasons about permissions at compile time and how programs execute at run time. It ships as an mdBook preprocessor and a playground for exploring Rust's ownership and borrowing behavior.

Use cases

• visualize how the Rust borrow checker analyzes my code
• show step-by-step runtime execution of a Rust program
• embed interactive Rust ownership diagrams in an mdBook
• teach Rust ownership and borrowing to students
• debug why my code fails the borrow checker
• explore permissions and boundaries in Rust programs

When to choose

• you are writing or teaching Rust educational material with mdBook
• you want to understand or explain borrow-checker behavior visually
• you are researching Rust's compile-time and run-time semantics

When to avoid

• you need a production-grade analysis tool for arbitrary Rust codebases
• you cannot use a specific nightly Rust toolchain
• you need visualizations for languages other than Rust

Facets

application · maturity active

developer-tools documentation developer-tools education programming-languages rust cli rust borrow-checker visualization mdbook compiler-internals research-software miri education web-server

Member repositories

For agents

markdown · JSON · MCP: product_card(name="cognitive-engineering-lab/aquascope")