quipnetwork/xq-rs

Aglais XQVM is an early-stage Rust project building a virtual machine for quantum computing problems, specifically a class of optimization problems called QUBO and Ising models. These are mathematical formulations used to describe problems like route planning or scheduling in a way that quantum annealers, a type of quantum hardware, can process. The project is marked as unstable and not yet suitable for production use. The README describes the goal as creating something analogous to what LLVM does for classical computing: a common intermediate layer that lets you write a problem once and then run it on different hardware backends without rewriting it for each one. The core of the project is a bytecode format, a shared representation that sits between a human-readable problem description and the actual hardware. The workspace is split into four components. One defines the bytecode format itself, including the full table of 76 instructions. A text assembler converts human-readable assembly files into that bytecode. A disassembler converts bytecode back into a readable listing for inspection. A virtual machine interprets and executes the bytecode. All four produce command-line tools. The virtual machine uses a stack-based design with a 256-slot register file. Registers can hold integers, integer vectors, optimization model objects, and candidate solution objects. A worked example of encoding a Travelling Salesman Problem using the assembler is included in the repository. The core crates are built to work without the standard library, which means the bytecode and virtual machine components can be compiled to WebAssembly or run in bare-metal environments with no operating system. The project is licensed under the GNU Affero General Public License version 3 or later.