Quipper

It is an embedded, scalable functional programming language for quantum computing. It offers:

• A high-level circuit description language with operators for assembly and manipulation.
• A syntax mixing procedural and declarative styles.
• 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, circuit generation, and circuit execution time, with dynamic lifting. It also includes extensive libraries for quantum arithmetic, QFT, QRAM, various simulations, and circuit decomposition, plus implementations of seven non-trivial quantum algorithms.