qsharp-community / qsharp-integrations
These samples demonstrate how to integrate with the Q# language or compilers
☆19Updated 3 years ago
Alternatives and similar repositories for qsharp-integrations:
Users that are interested in qsharp-integrations are comparing it to the libraries listed below
- QIR specification defining how to represent quantum programs within the LLVM IR☆70Updated last month
- Synthesizing arbitrary quantum computations☆67Updated last year
- Library for Q# implementing various qRAM proposals☆56Updated 3 years ago
- Benchmark quantum circuits before and after optimization.☆24Updated 7 years ago
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆102Updated last year
- Quantum circuit analysis toolkit☆71Updated this week
- A quantum circuit language and formal verification tool☆101Updated last year
- PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).☆61Updated last week
- A Small Quantum Intermediate Representation☆86Updated 2 months ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆98Updated 2 years ago
- A graphical tool for the ZX calculus☆56Updated 2 weeks ago
- Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)☆28Updated 6 years ago
- Arithmetic library for IBM Qiskit☆36Updated 3 years ago
- Repository for sharing Quantinuum's hardware specifications data☆33Updated 3 weeks ago
- Arline Benchmarks platform allows to benchmark various algorithms for quantum circuit mapping/compression against each other on a list of…☆31Updated 3 years ago
- OpenQL: A Portable Quantum Programming Framework for Quantum Accelerators. https://dl.acm.org/doi/10.1145/3474222☆103Updated 7 months ago
- A Python widget for Quirk to be used in Jupyter notebooks, JupyterLab, and the IPython kernel.☆24Updated 2 years ago
- MQT QCEC - A tool for Quantum Circuit Equivalence Checking☆96Updated this week
- High-performance simulator for executing QIR on GPU and CPU backends☆14Updated 2 years ago
- A quantum circuit optimizer based on sum-over-paths representations☆25Updated 5 years ago
- A dynamically executed quantum-classical hybrid runtime.☆21Updated 2 weeks ago
- Implementation of Solovay Kitaev Algorithm for approximating any n-qubit gate using gates from library set {H,T,CNOT,S}.☆14Updated 6 years ago
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆107Updated 2 months ago
- Qiskit to QIR translator☆18Updated last month
- Blackbird is a quantum assembly language for continuous-variable quantum computation, that can be used to program Xanadu's quantum photon…☆75Updated 2 years ago
- QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.☆25Updated 3 years ago
- Python module for running error-mitigation protocols with the pytket quantum SDK☆41Updated this week
- A library for working with quantum error correction.☆49Updated last year
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆75Updated 5 months ago
- Coq library for reasoning about quantum programs☆39Updated 2 months ago