| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Original HTTPS Page] |
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseCurrent Status:
All systems operational
──────▄▀▄─────▄▀▄
─────▄█░░▀▀▀▀▀░░█▄
─▄▄──█░░░░░░░░░░░█──▄▄
█▄▄█─█░░▀░░┬░░▀░░█─█▄▄█
Interactive, Plotly-based statevector visualizations for Qiskit
Jupyter Notebook
Live convergence diagnostics for qiskit-addon-sqd's self-consistent configuration recovery loop, rendered as an in-notebook Plotly widget.
Jupyter Notebook
Bridges Qiskit's StandardEquivalenceLibrary to formally verified proofs in inQWIRE/LeanQuantum.
Lean
Clifford phase-gate fusion for Qiskit with the core ZX spider-fusion rule formally verified in Lean 4.
Python
Quantum walk algorithms for graph problems, built on Qiskit.
Python
A QKD protocol simulator built directly on Qiskit primitives.
Python
| Back | FazBrowse Home | New Git URL |