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

def swap_first_two(xs: list[int]) -> int:
    # The canonical in-place element swap.
    xs[0], xs[1] = xs[1], xs[0]
    return xs[0] * 100 + xs[1]


def reverse_inplace(xs: list[int]) -> int:
    # Two-pointer reversal via repeated subscript swaps.
    i = 0
    j = len(xs) - 1
    while i < j:
        xs[i], xs[j] = xs[j], xs[i]
        i += 1
        j -= 1
    return xs[0] * 10000 + xs[1] * 1000 + xs[4]


def bubble_sort_min(xs: list[int]) -> int:
    # Bubble sort — the textbook adjacent-swap loop.
    n = len(xs)
    for i in range(n):
        for j in range(n - 1):
            if xs[j] > xs[j + 1]:
                xs[j], xs[j + 1] = xs[j + 1], xs[j]
    return xs[0]


def dict_swap(d: dict[str, int], a: str, b: str) -> int:
    # Subscript-target swap also works for dict keys.
    d[a], d[b] = d[b], d[a]
    return d[a] * 10 + d[b]