Contract-driven polyglot transpile workbench. Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V, with provable contracts at every layer. - View it on GitHub