QWire
From MaRDI portal
Cited in
(31)- Proto-Quipper-M
- Q#
- PNBml
- Quipper
- AsmL
- verifier
- Vellvm
- Pesca
- Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
- \textsc{qPCF}: a language for quantum circuit computations
- qPCF
- ScaffCC
- Hazelnut
- LightDP
- EfProb
- LIQUi
- Forest
- Quantum++
- Jordan Normal Forms
- Matrix_Tensor
- YALLA
- The EfProb library for probabilistic calculations
- metaQASM
- Feynman
- Silq
- QWIRE: a core language for quantum circuits
- QPL
- QPMC
- qGCL
- QML
- cQASM
This page was built for software: QWire
