xpile 0.1.616

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
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

def total(*args: int) -> int:
    return sum(args)


def with_prefix(prefix: int, *args: int) -> int:
    return prefix + sum(args)


def call_total() -> int:
    return total(1, 2, 3)


def call_empty() -> int:
    return total()


def call_one() -> int:
    return total(5)


def call_prefix() -> int:
    return with_prefix(100, 1, 2)


def call_prefix_only() -> int:
    return with_prefix(100)