13 projects
qiskit-quantum-backend-selector
Noise- and queue-aware backend selection and routing for IBM Quantum backends
qiskit-quantum-loadbalancer
Noise- and queue-aware backend selection and routing for IBM Quantum backends
qiskit-spacetime-bridge
Outcome-code and spacetime-code construction for Qiskit Clifford circuits (Delfosse & Paetznick, arXiv:2304.05943)
qiskit-lean-verify-game
A decidable-checker circuit puzzle package built on Qiskit, with level content shared with the CliffordGame lean4game submission.
qiskit-cayley-codes
CSS quantum code construction from Cayley graphs over zero-sumfree sets
qiskit-transpile-verify
Formal and statistical equivalence checking for Qiskit transpiler output on the Clifford fragment, with optional Lean 4 certificate generation.
qiskit-qubit-mapping-toolkit
Graph-theoretic initial layout and routing heuristics for mapping Qiskit circuits onto hardware coupling maps.
qiskit-eigenlight
Render quantum state evolution and Cayley-graph spectra as an emission spectrum, not a soundtrack.
qiskit-graph-walks
Quantum walk algorithms for graph problems (spatial search, isomorphism testing) built on Qiskit.
qiskit-qkd-lab
A QKD protocol simulator built on Qiskit primitives, with circuit-level eavesdropping models.
Qiberis
A backend-agnostic quantum circuit API: write once, run on Qiskit, Cirq, and PennyLane simulators.
qiskit-sqd-dashboard
Live convergence diagnostics for qiskit-addon-sqd's self-consistent configuration recovery loop, rendered as an in-notebook Plotly widget.
qiskit-stateviz
Interactive Plotly-based statevector visualizations (Q-sphere, Bloch multivector) for Qiskit
