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