SQIR
Quantum program representation
An intermediate representation for quantum programs used in verified optimization of quantum circuits
A Small Quantum Intermediate Representation
80 stars
8 watching
24 forks
Language: Coq
last commit: 6 months ago compiler-constructioncoqquantum-computing
Related projects:
| Repository | Description | Stars |
|---|---|---|
| inqwire/quantumlib | A Coq library for reasoning about quantum programs | 33 |
| inqwire/qwire | A language and formal verification tool for quantum circuits | 95 |
 softwareqinc/staq | A C++ library for synthesizing, transforming and compiling quantum circuits | 159 |
 quantumlib/qsim | A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. | 484 |
| quantumlib/stim | A high-performance tool for simulating and analyzing quantum stabilizer circuits. | 367 |
 qaqarot/qaqarot | A comprehensive quantum computing library for programming and simulating quantum systems. | 374 |
 zlatko-minev/pyepr | Automated design and analysis of quantum microwave circuits | 169 |
 aromanro/qcsim | A software framework for simulating quantum computations and exploring their applications in physics and beyond. | 47 |
 q-inho/quditsteam-1 | Extending Qiskit to handle qudits and higher-dimensional quantum states | 0 |
| softwareqinc/qpp | A modern C++ library for simulating arbitrary quantum processes | 549 |
 iqm-finland/kqcircuits | A Python library for designing 2D quantum circuit geometries using the KLayout layout design API. | 145 |
 pasqal-io/qadence | A package for building and simulating digital-analog quantum programs with tunable qubit interactions | 72 |
 haykkh/qsim | A C++ library for simulating quantum systems | 9 |
 grey-area/qcircuits | A Python package for simulating small-scale quantum computers using the quantum circuit model. | 58 |
 intel/intel-qs | A simulator of quantum circuits optimized for high-performance computing on multi-core and distributed architectures | 226 |