English · 한국어 · 日本語 · Tiếng Việt

Qora Language

Qora is a small quantum toy language built on the Janglim parser engine. You write circuits in a Q#/C#-flavored syntax and it transpiles to OpenQASM 3. This extension gives .qor files syntax highlighting, hover docs, live error diagnostics, and a transpile command, and local execution with typed entry-return results.

Extension 0.33.0 bundles Qora 0.40.0. See the extension release notes and language migration guide.

Features

• Syntax highlighting — keywords (operation/use/new/if/for/…), types (Qubit/bool/int/float/bit/angle), gates (H/CNOT/Rx/…), pi, numbers, operators
• Hover docs — hover a gate or keyword for a short description (e.g. Rx, CNOT, M)
• Live parse errors — the parser runs as you type and underlines the offending token
• Status bar feedback — the active .qor file shows Qora: OK, an error count, or parser status
• Main CodeLens actions — operation Main() gets quick links for OpenQASM transpile and compilation stages
• Getting Started walkthrough — install the extension and follow the Qora guide from VS Code's Getting Started page
• Editor title actions — open a .qor file and use the top-right buttons to transpile, inspect stages, or open an example
• Examples on demand — run Qora: Open Example to open demo.qor, or Qora: New Bell Example to start from a scratch Bell circuit
• Run your program — Qora: Run Program (or the ▶ CodeLens above Main) executes the file on Amazon Braket's local simulator and groups the entry operation's return values by frequency. A void entry reports successful execution and the shot count, without a histogram. First run sets the simulator up automatically (one-time ~200 MB download into the extension's storage — you install nothing yourself).
• Transpile to OpenQASM — run Qora: Transpile to OpenQASM from the Command Palette; the result opens beside your file
• Show compilation stages — run Qora: Show Compilation Stages to follow AST, source-shaped HIR, SSA/CFG MIR and its analyses, the typed OpenQASM target, and final OpenQASM; refreshes on save
• Snippets — operation, main, use, measure, for, if, bell
• Bracket matching / auto-closing

Execution results

The Run command displays only explicit entry return values: bool, bit, int, float, or angle (radians). bool results display as true/false, while measurement-oriented bit results remain 0/1. For example, operation Main(): bit { use q = Qubit[1]; H(q[0]); return M(q[0]); } returns one bit per shot. Measurements stored in local variables and helper return values are not additional outputs, and Run does not add a final measurement. Large integers remain exact decimal values. A custom compiler must provide the current entryResult metadata; older compiler bundles must be updated rather than falling back to internal measurement counts.

Known simulator limitations

The standard setup pins Braket SDK 1.127.8 and default simulator 1.43.1; it does not include the pending upstream fixes used in local verification. The 54-case Qora execution suite passes with four Braket patches combined, not with the ordinary installation. Boolean arrays and other affected paths therefore remain restricted in the standard setup. Measuring Qubit[] helper-parameter elements and some noncontiguous controlled-gate layouts remain unresolved even with those patches. See the backend limitations before relying on affected programs; successful compilation alone does not guarantee simulator correctness.

The parser is bundled

Live errors and transpile are powered by the Qora parser (.NET), which ships inside the extension as a self-contained binary — no separate .NET install needed. Per-platform builds are included (Windows x64 / macOS Apple Silicon / Linux x64) and the extension runs the right one automatically.

On an unsupported platform, highlighting / hover / snippets still work and only errors / transpile are off. You can then point qora.command (a Qora executable) or qora.args (+ dotnet on a Qora.dll) at your own build.

Settings

License

MIT — source at github.com/AJ-comp/Qora.