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