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
7

# PMAT-502bo (Tranche 2): negative float literals (-3.14).
def pi() -> float:
    return -3.14


def offset(x: float) -> float:
    return x + -1.5