Reducing depth of circuits with operator backpropagation
☆45Feb 1, 2026Updated last month
Alternatives and similar repositories for qiskit-addon-obp
Users that are interested in qiskit-addon-obp are comparing it to the libraries listed below
Sorting:
- Utilities to support workflows leveraging Qiskit addons☆26Updated this week
- Reducing the Trotter error of Hamiltonian dynamics with multi-product formulas☆35Updated this week
- An eigensolver used to scale up SQD chemistry workflows past 30 orbitals☆27Feb 1, 2026Updated last month
- Sample-based Quantum Diagonalization: Classically postprocess noisy quantum samples to yield more accurate eigenvalue estimations.☆81Updated this week
- Reduce circuit depth by compressing initial layers via approximate quantum compilation with tensor networks (AQC-Tensor)☆24Updated this week
- A Jupyterlab extension to use the Qiskit Code Assistant☆23Feb 16, 2026Updated 2 weeks ago
- Zero Noise Extrapolation (ZNE) prototype for error mitigation on the Qiskit Estimator primitive☆36Feb 26, 2025Updated last year
- A toolbox for the implementation of positive operator-valued measures (POVMs).☆38Updated this week
- Reduce width and depth of quantum circuits by cutting gates and wires.☆97Feb 2, 2026Updated last month
- Simulate Qiskit circuits using quimb.☆17Jan 31, 2026Updated last month
- An integration test suite for Qiskit☆14Dec 15, 2025Updated 2 months ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 10 years ago
- Open-source AI acceleration on FPGA: from ONNX to RTL☆49Jan 5, 2026Updated 2 months ago
- Faster simulations of fermionic quantum circuits.☆68Updated this week
- An open-source Simulation Trace Format specification☆15Nov 12, 2025Updated 3 months ago
- Implementation of sparse Pauli dynamics in Python☆14Oct 5, 2025Updated 5 months ago
- A parallel Python test runner built around subunit☆34Updated this week
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- Python toolkit providing OpenQASM 3 semantic analyzer and utilities for program analysis and compilation.☆25Updated this week
- A programming model for leveraging quantum and classical resources☆107Updated this week
- Qiskit Experiments☆189Feb 27, 2026Updated last week
- ☆15Nov 9, 2022Updated 3 years ago
- ☆28Mar 31, 2025Updated 11 months ago
- IBM Client for Qiskit Runtime☆214Updated this week
- [NeurIPS 2024 Spotlight] Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs☆15Feb 22, 2026Updated last week
- Synthesize Verilog to Minecraft redstone☆21Nov 9, 2024Updated last year
- ☆138Jan 9, 2026Updated last month
- Research using Qiskit.☆71Aug 25, 2025Updated 6 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- ☆19Jul 12, 2024Updated last year
- ☆22Jun 23, 2024Updated last year
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated 8 months ago
- A Framework For Mixed-Dimensional Qudit Quantum Computing☆35Updated this week
- A VSCode extension to use the Qiskit Code Assistant (Beta)☆93Feb 16, 2026Updated 2 weeks ago
- Qiskit Provider for accessing the IBM Quantum Services: Online Systems and Simulators☆85Apr 18, 2024Updated last year
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆27Updated this week
- Slurm Spank plugins for Quantum resources and jobs support☆48Updated this week
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago