SQIR
by inQWIRE
A Small Quantum Intermediate Representation
AI summary
Quantum program representation
An intermediate representation for quantum programs used in verified optimization of quantum circuits
- stars
- 80
- forks
- 24
- watching
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Quantum program analyzer
A Coq library for reasoning about quantum programs
Quantum circuit language
A language and formal verification tool for quantum circuits
Quantum circuit compiler
A C++ library for synthesizing, transforming and compiling quantum circuits
Quantum circuit simulator
A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems.
Quantum simulator
A high-performance tool for simulating and analyzing quantum stabilizer circuits.
Quantum simulator
A comprehensive quantum computing library for programming and simulating quantum systems.
Quantum circuit simulator
Automated design and analysis of quantum microwave circuits
Quantum simulator
A software framework for simulating quantum computations and exploring their applications in physics and beyond.
Quantum Simulator
Extending Qiskit to handle qudits and higher-dimensional quantum states
Quantum simulator
A modern C++ library for simulating arbitrary quantum processes
Geometry generator
A Python library for designing 2D quantum circuit geometries using the KLayout layout design API.
Quantum simulator library
A package for building and simulating digital-analog quantum programs with tunable qubit interactions
Quantum simulator library
A C++ library for simulating quantum systems
Quantum simulator
A Python package for simulating small-scale quantum computers using the quantum circuit model.
Quantum circuit simulator
A simulator of quantum circuits optimized for high-performance computing on multi-core and distributed architectures
