Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
47,133 repositories indexed
1–4 of 4 · Most stars
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
A high performance Python graph library implemented in Rust.
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
Practice recognizing chords in this Rust/Yew/Webassembly app