[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-5653":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":9,"language":10,"languages":9,"totalLinesOfCode":9,"stars":11,"forks":12,"watchers":13,"openIssues":14,"contributorsCount":14,"subscribersCount":14,"size":14,"stars1d":14,"stars7d":14,"stars30d":15,"stars90d":14,"forks30d":14,"starsTrendScore":14,"compositeScore":16,"rankGlobal":9,"rankLanguage":9,"license":17,"archived":18,"fork":18,"defaultBranch":19,"hasWiki":20,"hasPages":18,"topics":21,"createdAt":9,"pushedAt":9,"updatedAt":22,"readmeContent":23,"aiSummary":24,"trendingCount":14,"starSnapshotCount":14,"syncStatus":25,"lastSyncTime":26,"discoverSource":27},5653,"xq-rs","QuipNetwork\u002Fxq-rs","QuipNetwork","A rust implementation of the Quip Network's quantum virtual machine.",null,"Rust",5613,17,5,0,3,60.07,"GNU Affero General Public License v3.0",false,"main",true,[],"2026-06-12 04:00:26","\u003C!--\nCopyright (C) 2026 Postquant Labs Incorporated\nSPDX-License-Identifier: AGPL-3.0-or-later\n-->\n\n# Aglais XQVM\n\n> **Work in progress.** The instruction set, binary format, and public API are\n> unstable and will change without notice until a stable release is tagged.\n> Production use is not recommended at this time.\n\nAglais is a hardware-agnostic virtual machine for quantum computing. XQVM is\nthe module within Aglais responsible for expressing binary optimization models\nand objective functions. The current scope targets X-quadratic models for\nquantum annealers (QUBO\u002FIsing formulations).\n\nThink of it as LLVM for quantum computing.\n\n## Goals\n\n- **Hardware-agnostic** -- write a problem once, run it on any supported backend.\n- **Unified bytecode** -- a common intermediate representation for binary\n  optimization problems targeting quantum annealers.\n- **Embeddable** -- the core VM and bytecode crates support `no_std + alloc`,\n  enabling deployment in WASM runtimes and bare-metal environments.\n\n## Workspace Crates\n\n| Crate | Binary | Description |\n|---|---|---|\n| `aglais-xqvm-bytecode` | -- | Opcode table, instruction types, builder, binary codec, stream reader |\n| `aglais-xqvm-asm` | `xqasm` | Text assembler: `.xqasm` source -> bytecode |\n| `aglais-xqvm-disasm` | `xqdism` | Bytecode -> human-readable listing |\n| `aglais-xqvm-vm` | `xqvm` | Bytecode interpreter: stack, register file, QUBO\u002FIsing model execution |\n\n## Getting Started\n\n### Prerequisites\n\n```sh\n# Install Rust (stable)\ncurl --proto '=https' --tlsv1.2 -sSf https:\u002F\u002Fsh.rustup.rs | sh\n\n# Install dev tools\nmake deps\n```\n\n### Build\n\n```sh\ncargo build --release\n```\n\nThe binaries are placed at `target\u002Frelease\u002Fxqasm`, `target\u002Frelease\u002Fxqdism`,\nand `target\u002Frelease\u002Fxqvm`.\n\n### Run an example\n\n```sh\n# Assemble a source file\nxqasm program.xqasm -o program.xqbc\n\n# Disassemble to inspect the encoding\nxqdism program.xqbc\n\n# Execute\nxqvm program.xqbc\n```\n\n### A minimal program\n\n```asm\n; push two integers and add them\nPUSH 10\nPUSH 32\nADD\nHALT\n```\n\nAssemble and run:\n\n```sh\nxqasm add.xqasm -o add.xqbc && xqvm add.xqbc\n```\n\n## Architecture\n\nAglais is a stack-based interpreter with a 256-slot register file. XQVM is the\nmodule that handles X-quadratic model construction: registers hold typed values\n-- integers, integer vectors, QUBO\u002FIsing models (`XqmxModel`), and candidate\nsolutions (`XqmxSample`). A dedicated loop stack drives `RANGE`\u002F`ITER`\niteration.\n\nThe opcode table (`opcodes!` x-macro in `crates\u002Fbytecode\u002Fsrc\u002Ftypes\u002Ftable.rs`) is\nthe single source of truth for all 76 instructions. The `Opcode` enum, `Instruction`\nenum, mnemonic strings, and operand arity are all derived from it.\n\nThe binary format is a bare instruction stream with no header. Each instruction is\nan opcode byte followed by its operands in big-endian byte order.\n\nSee `crates\u002Fvm\u002Fexamples\u002Ftsp\u002F` for a complete worked example: a Travelling Salesman\nProblem encoded as a QUBO via three `.xqasm` programs driven by a Rust harness.\n\n## Contributing\n\nSee [CONTRIBUTING.md](CONTRIBUTING.md) for the development workflow, commit\nconventions, and sign-off requirements.\n\n```sh\nmake all   # lint + test (what CI runs)\n```\n\n## License\n\nLicensed under the [GNU Affero General Public License v3.0 or later](LICENSE).\n","Aglais XQVM 是一个用 Rust 语言实现的量子虚拟机，专注于表达二进制优化模型和目标函数。该项目的核心功能包括硬件无关性、统一字节码以及支持无标准库环境下的嵌入式部署，使得用户能够编写一次问题并在任何支持的后端运行。XQVM 提供了类似 LLVM 的功能，但针对的是量子退火器（如 QUBO\u002FIsing 模型）。它适合用于需要在不同量子计算平台上执行相同算法的研究或开发场景中。目前项目仍在开发阶段，不建议用于生产环境。",2,"2026-06-01 02:59:03","top_language"]