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