Cited in
(23)- cQASM
- Qsun
- A proof system for disjoint parallel quantum programs
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- Twisted
- qasm2circ
- pyQuil
- Quantum++
- SimulaQron
- mypy
- Feynman
- metaQASM
- openQASM
- Black
- Tequila
- QPL
- QForte
- QML
- Sized Types for Low-Level Quantum Metaprogramming
- qLEET
- Quantum simulation of chiral phase transitions
- Entanglement types for two-qubit states with real amplitudes
- Zeta-regularized vacuum expectation values
This page was built for software: Forest
