QWIRE
Quantum circuit language
A language and formal verification tool for quantum circuits
A quantum circuit language and formal verification tool
92 stars
20 watching
26 forks
Language: Coq
last commit: 12 months ago
Linked from 1 awesome list
qosf/awesome-quantum-softwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
| inqwire/quantumlib | A Coq library for reasoning about quantum programs | 32 |
| inqwire/sqir | An intermediate representation for quantum programs used in verified optimization of quantum circuits | 79 |
 softwareqinc/staq | A C++ library for synthesizing, transforming and compiling quantum circuits | 157 |
 dabacon/qsel | A programming language that uses entanglement and superposition to describe quantum computations | 40 |
 cqcl/tket2 | A quantum compiler that compiles high-level quantum circuits into hardware-agnostic machine code | 30 |
 qct-iqc/qacg | A tool for generating and manipulating quantum arithmetic circuits | 5 |
 rogercolbeck/qi | Mathematica package with functions for quantum information processing and theoretical computations | 38 |
 quantumlib/qsim | A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. | 452 |
 quil-lang/quilc | An optimizing compiler for a quantum instruction language | 460 |
 djohnnie/quantumcomputingqsharpintroduction2018 | An introductory Visual Studio project that explores fundamental concepts of quantum computing using C# | 0 |
 boschmitt/tweedledum | A C++17 library for synthesizing, compiling, and optimizing quantum circuits | 98 |
| cqcl/tket | A high-performance quantum compiler that optimizes circuits for various quantum computing architectures. | 257 |
 aviggiano/qcl | A programming language for quantum computing that provides a high-level syntax and various features to support the implementation of quantum algorithms. | 39 |
 q-inho/quditsteam-1 | Extending Qiskit to handle qudits and higher-dimensional quantum states | 0 |
 bbn-q/pyqgl2 | A Python-based language and compiler for programming quantum computers directly at the physical layer. | 9 |