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

def add(a, b):
    return a + b

def quad_add(a, b, c, d):
    return add(add(a, b), add(c, d))