Quipper
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A computer scientist’s reconstruction of quantum theory*
- A focused linear logical framework and its application to metatheory of object logics
- cQASM
- Alcove
- Generating reversible circuits from higher-order functional programs
- Automating quantum experiment control. From circuit compilation to ion routing
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs
- scientific article; zbMATH DE number 7453179 (Why is no real title available?)
- Hierarchical system mapping for large-scale fault-tolerant quantum computing
- A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
- Reachability analysis of quantum Markov decision processes
- Towards quantum programs verification: from Quipper circuits to QPMC
- Parallel computational structure of noisy quantum circuits simulation
- Semantics of higher-order quantum computation via geometry of interaction
- A categorical model for a quantum circuit description language (extended abstract)
- QML
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- POPLMark reloaded: mechanizing proofs by logical relations
- REVS: a tool for space-optimized reversible circuit synthesis
- Connectivity matrix model of quantum circuits and its application to distributed quantum circuit optimization
- Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context
- PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems
- Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
- QPCF: higher-order languages and quantum circuits
- Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems
- Hybrid quantum-classical circuit simplification with the ZX-calculus
- Toward automatic verification of quantum programs
- HYBRID
- Beluga
- GATE
- PNBml
- QC-lib
- Quantomatic
- RevLib
- RevKit
- AsmL
- QCViewer
- qasm2circ
- verifier
- QCL
- PEET
- BTSystem
- Deterministic algorithms for compiling quantum circuits with recurrent patterns
- Datafun
- Lincx
- qPCF
- QWire
- Forest
- libquantum
- MiniAgda
- ProjectQ
- ScaffCC
- grTheory
- Kron
- Celf
- REVS
- RMDDS
- EfProb
- SyReC
- LIQUi
- QISKit
- pyQuil
- qHiPSTER
- OpenFermion
- qTorch
- QuEST
- Coq Interval
- Strawberry Fields
- TBTK
- YALLA
- Feynman
- Cirq
- metaQASM
- openQASM
- An introduction to quantum programming in Quipper
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- AlgoWiki
- Scaffold
- Silq
- QPL
- QPMC
- qGCL
- Proto-Quipper-M
- Qsim
- Typing Quantum Superpositions and Measurement
- scientific article; zbMATH DE number 7453184 (Why is no real title available?)
- Classical control and quantum circuits in enriched category theory
- KrylovKit.jl
- StaticArrays.jl
- PyZX
- Q#
- XACC
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- The EfProb library for probabilistic calculations
- Formal meta-level analysis framework for quantum programming languages
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
- Classical control, quantum circuits and linear logic in enriched category theory
- Sized Types for Low-Level Quantum Metaprogramming
- Quantum differential and linear cryptanalysis
This page was built for software: Quipper
