Rex Rowan
  • Home
  • Projects

Projects

Sixteen projects. Twelve are Qiskit Ecosystem members, three are in review, and one has a qiskit-ibm-runtime discussion drafted but not yet filed. Each links to its repo, its docs, and — where it makes sense — a live demo.

Qiskit Quantum Traffic Engineering

An intelligent traffic-management layer above IBM Quantum Runtime: SLA/outage-driven job rerouting, verified end-to-end against live hardware

Sep 4, 2026

Qiskit Quantum Backend Selector

Queue- and noise-aware backend selection and routing for IBM Quantum backends, verified against real hardware

Sep 3, 2026

Qiskit Magic Metrics

Exact, stabilizer-accelerated magic and entanglement metrics for Qiskit, as composable PassManager passes

Sep 2, 2026

Qiskit Spacetime Bridge

Outcome/spacetime codes from Clifford circuits, feeding stabilizer structure into the Cayley-codes analysis backend

Sep 1, 2026

Qiskit Certified QRNG

Device-independent-certified randomness expansion — CHSH violation, a statistically sound min-entropy bound, a Toeplitz extractor, and a Lean soundness proof in progress

Aug 26, 2026

Qiskit LEAN Verify Game

Circuit puzzles graded by Qiskit, cross-checked against a real Lean 4 proof corpus

Aug 24, 2026

Qiskit Cayley Codes

CSS quantum code construction from Cayley graphs, via the Couvreur-Delfosse-Zémor construction

Aug 22, 2026

Qiskit Transpile Verify

Translation validation for the Qiskit transpiler

Aug 20, 2026

Qiskit Qubit Mapping Toolkit

Graph-theoretic layout and routing heuristics, benchmarked against LightSABRE

Aug 17, 2026

Qiskit ZX Verified

A Clifford phase-gate fusion pass with a Lean 4 formal verification bridge

Aug 13, 2026

Qiskit Graph Walks

Quantum walk algorithms as graph-problem primitives, built on Qiskit

Aug 12, 2026

Qiskit LEAN bridge

Bridging Qiskit’s StandardEquivalenceLibrary to formally verified proofs in LeanQuantum

Aug 10, 2026

Qiskit QKD Lab

A BB84 QKD protocol simulator built directly on Qiskit primitives

Aug 8, 2026

Qiskit StateViz

Interactive, Plotly-based statevector visualization for Qiskit

Aug 1, 2026

Qiskit SQD Dashboard

Live convergence diagnostics for qiskit-addon-sqd’s configuration recovery loop

Jul 1, 2026

Qiberis

A backend-agnostic quantum circuit API for Qiskit, Cirq, and PennyLane

Jun 1, 2026
No matching items

© 2026 Rex Rowan