Cited in
(48)- cQASM
- A framework for quantum-classical cryptographic translation
- Reachability analysis of quantum Markov decision processes
- Quipper
- RevLib
- RevKit
- Qcompiler
- QCViewer
- qasm2circ
- verifier
- QLib
- QCL
- qPCF
- QWire
- Forest
- libquantum
- ProjectQ
- REVS
- RMDDS
- SyReC
- LIQUi
- QISKit
- pyQuil
- qHiPSTER
- qTorch
- Deqo
- Strawberry Fields
- Feynman
- Cirq
- metaQASM
- openQASM
- Scaffold
- QPL
- QPMC
- qGCL
- Performing fully parallel constraint logic programming on a quantum annealer
- Deterministic algorithms for compiling quantum circuits with recurrent patterns
- QML
- Sized Types for Low-Level Quantum Metaprogramming
- TensorFlow Quantum
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows
- Qsim
- pytket
- Q#
- Hierarchical system mapping for large-scale fault-tolerant quantum computing
- REVS: a tool for space-optimized reversible circuit synthesis
- Toward automatic verification of quantum programs
- XACC
This page was built for software: ScaffCC
