QWIRE
by inQWIRE
A quantum circuit language and formal verification tool
AI summary
Quantum circuit language
A language and formal verification tool for quantum circuits
- stars
- 95
- forks
- 26
- watching
- 20
- awesome list
- 1
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 program representation
An intermediate representation for quantum programs used in verified optimization of quantum circuits
Quantum circuit compiler
A C++ library for synthesizing, transforming and compiling quantum circuits
Quantum language
A programming language that uses entanglement and superposition to describe quantum computations
Quantum Compiler
A quantum compiler that compiles high-level quantum circuits into hardware-agnostic machine code
Quantum circuit generator
A tool for generating and manipulating quantum arithmetic circuits
Quantum toolkit
Mathematica package with functions for quantum information processing and theoretical computations
Quantum circuit simulator
A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems.
Quantum compiler
An optimizing compiler for a quantum instruction language
Quantum intro
An introductory Visual Studio project that explores fundamental concepts of quantum computing using C#
Quantum circuit compiler
A C++17 library for synthesizing, compiling, and optimizing quantum circuits
cqcl/tket263
Quantum compiler
A high-performance quantum compiler that optimizes circuits for various quantum computing architectures.
Quantum compiler
A programming language and toolkit for building quantum computers.
Quantum Simulator
Extending Qiskit to handle qudits and higher-dimensional quantum states
Quantum Gate Language
A Python-based language and compiler for programming quantum computers directly at the physical layer.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions QWIRE.
