quipper-core: An embedded, scalable functional programming language for quantum computing.
Quipper is an embedded, scalable functional programming language for quantum computing. It provides, among other things:
A high-level circuit description language. This includes gate-by-gate descriptions of circuit fragments, as well as powerful operators for assembling and manipulating circuits.
A monadic semantics, allowing for a mixture of procedural and declarative programming styles.
Built-in facilities for automatic synthesis of reversible quantum circuits, including from classical code.
Support for hierarchical circuits.
Extensible quantum data types.
Programmable circuit transformers.
Support for three execution phases: compile time, circuit generation time, and circuit execution time. A dynamic lifting operation to allow circuit generation to be parametric on values generated at circuit execution time.
Extensive libraries of quantum functions, including: libraries for quantum integer and fixed-point arithmetic; the Quantum Fourier transform; an efficient Qram implementation; libraries for simulation of pseudo-classical circuits, Stabilizer circuits, and arbitrary circuits; libraries for exact and approximate decomposition of circuits into specific gate sets.
This package contains all of quipper, except for the rendering part, which has been separated into the quipper-rendering package to reduce dependencies.
[Skip to Readme]
|Versions [faq]||0.8, 0.8.0.1|
|Dependencies||base (>=4.6 && <4.10), containers (==0.5.*), mtl (>=2.1 && <2.3), primes (==0.2.*), random (>=1.0 && <1.2), template-haskell (>=2.8 && <2.12) [details]|
|Copyright||Copyright (C) 2012-2013 Applied Communication Sciences.|
|Author||Applied Communication Sciences|
|Revised||Revision 2 made by miniBill at Fri Jan 6 21:12:20 UTC 2017|
|Uploaded||by miniBill at Fri Jan 6 21:02:20 UTC 2017|
|Downloads||1033 total (35 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2017-01-06 [all 1 reports]
- quipper-core-0.8.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees