xpile 0.1.615

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 pick(i: int, opts: list[int] = [10, 20, 30]) -> int:
    return opts[i]


def run() -> int:
    return pick(1) + pick(2)