Agent skill · research science · aradotso
aglais-xqvm-quantum-vm
Expertise in Aglais XQVM, a hardware-agnostic Rust quantum virtual machine for QUBO/Ising binary optimization models targeting quantum annealers.
Why this skill is useful
Adds executable scripts for assembling, disassembling, and interpreting quantum bytecode that are not commonly known.
What it needs
Requires rust installed locally. About 6k tokens when loaded. Last updated 2026-07-09. 70 stars on the source repository.
What this skill does
Aglais XQVM Skill Skill by ara.so — Daily 2026 Skills collection. Aglais XQVM is a hardware-agnostic virtual machine for quantum computing written in Rust. It provides a unified bytecode intermediate representation for binary optimization problems (QUBO/Ising formulations) targeting quantum annealers — think LLVM for quantum computing. The VM is stack-based with a 256-slot register file, supports nostd + alloc for WASM/bare-metal deployment, and ships four crates: bytecode, assembler, disassembler, and interpreter. Installation & Setup Prerequisites Build from source Add as a library dependency For nostd environments (WASM, bare-metal): Workspace Crate Overview Crate Binary Role --- --- --- aglais-xqvm-bytecode — Opcode table, instruction types, builder, binary codec, stream reader aglais-xqvm-asm xqasm Text assembler: .xqasm → .xqbc bytecode aglais-xqvm-disasm xqdism Bytecode → human-readable listing aglais-xqvm-vm xqvm Bytecode interpreter: stack, registers, QUBO/Ising execution CLI Commands xqasm — Assembler xqdism — Disassembler xqvm — Interpreter Full pipeline XQASM Language Reference The assembler accepts .xqasm text files. The VM is stack-based; most instructions pop operands from the stack and push results. Basic stack operations Registers (0–255) Arithmetic Vectors / integer arrays QUBO / Ising model construction Control flow & iteration Labels and jumps Rust API: Bytecode Builder Use aglais-xqvm-bytecode to construct programs programmatically: Decoding bytecode (stream reader) Rust API: Running the VM Accessing registers after execution Real-World Pattern: TSP as QUBO The crates/vm/examples/tsp/ directory contains a complete Travelling Salesman Problem encoded as a QUBO driven by a Rust harness. The pattern is: 1. Generate coefficients in a Rust harness (problem-specific math). 2. Emit .xqasm files parameterised by those coefficients. 3. Assemble + run with xqasm / xqvm. …
How to use it
Reference it in AdaL, Claude Code, Cursor or any coding agent — nothing to install:
@skills aradotso/aglais-xqvm-quantum-vm