⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.