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

def build() -> int:
    subprocess.run(["echo", "starting"])
    subprocess.run(["ls", "/tmp"])
    subprocess.run(["pwd"])
    subprocess.run(["echo", "done"])
    return 0