QWIRE

Quantum circuit language

A language and formal verification tool for quantum circuits

A quantum circuit language and formal verification tool

GitHub
95 stars
20 watching
26 forks
Language: Coq
last commit: almost 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
inqwire/quantumlib A Coq library for reasoning about quantum programs 33
inqwire/sqir An intermediate representation for quantum programs used in verified optimization of quantum circuits 80
softwareqinc/staq A C++ library for synthesizing, transforming and compiling quantum circuits 159
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 31
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 39
quantumlib/qsim A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. 484
quil-lang/quilc An optimizing compiler for a quantum instruction language 462
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. 263
aviggiano/qcl A programming language and toolkit for building quantum computers. 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