Documentation

How For Loops Compile

The loop passes of the Pyvorin 1.0.9 pipeline — complete unrolling, the vectorisation cost model, loop fusion — with the exact thresholds, verified in source.

How While Loops Compile

While loops compile natively in Pyvorin 1.0.9, but their trip count is data — this page shows the verified lowering and which optimisations that fact excludes.

The @edge Decorator — Under the Hood

How @edge compiles decorated functions on the device: AST parsing, signature inference, scalar versus kernel routing, and known limitations.

15 min read

Type Inference System

Dynamic Python in, static native code out: how Pyvorin infers types, what it assumes, and how guards keep wrong assumptions harmless.