SQIR
Quantum program representation
An intermediate representation for quantum programs used in verified optimization of quantum circuits
A Small Quantum Intermediate Representation
79 stars
8 watching
24 forks
Language: Coq
last commit: 3 months ago compiler-constructioncoqquantum-computing
Related projects:
| Repository | Description | Stars |
|---|---|---|
| inqwire/quantumlib | A Coq library for reasoning about quantum programs | 32 |
| inqwire/qwire | A language and formal verification tool for quantum circuits | 92 |
 softwareqinc/staq | A C++ library for synthesizing, transforming and compiling quantum circuits | 157 |
 quantumlib/qsim | A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. | 452 |
| quantumlib/stim | A high-performance tool for simulating and analyzing quantum stabilizer circuits. | 350 |
 qaqarot/qaqarot | A comprehensive quantum computing library for programming and simulating quantum systems. | 372 |
 zlatko-minev/pyepr | Automated design and analysis of quantum microwave circuits | 165 |
 aromanro/qcsim | A software framework for simulating quantum computations and exploring their applications in physics and beyond. | 45 |
 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 | 541 |
 iqm-finland/kqcircuits | A Python library for designing 2D quantum circuit geometries using the KLayout layout design API. | 140 |
 pasqal-io/qadence | A digital-analog quantum programming interface allowing users to build and simulate complex quantum programs. | 70 |
 haykkh/qsim | A C++ library for simulating quantum information theory | 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 | 227 |