xpile 0.1.1

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4
5
6

# PMAT-450 / v0.2.0 Track 1.A: str parameter passthrough — exercises
# Type::Str at parameter position (the foundation PR enabled return
# position; this fixture proves the param path works too).
# Governing contract: C-XLATE-PY-STR-TO-RUST-STRING.
def echo(name: str) -> str:
    return name