Results for where_lower

A keyboard event handler that allows dynamic development

ISLE: Instruction Selection and Lowering Expressions. A domain-specific language for instruction selection in Cranelift.

Helpers for mapping Rust types to Cranelift JIT signatures, lowering call arguments, and reducing module boilerplate.

Substrate-neutral lowering: vyre Program → KernelDescriptor consumed by vyre-emit-* crates.

IR-accelerated evaluation for clojurust (tier-1 IR interpreter + lowering)

Conformal prediction with formal verification: CPD, PCP, streaming calibration, and Lean4 proofs

A TSP solver written in Rust

Lower validated Draxl Rust-profile files to ordinary Rust

Procedural macros for lower-ir-utils (`#[jit_export]` and supporting helpers).

MLX backend for RLX — Apple's array framework via hand-rolled C++ shim, eager + lazy execution

Lower typed core IR to runtime IR for Yulang

Command line interface to convert strings into any case