traq
The Traq framework to perform quantum cost analysis of classical programs. Supports input-dependent cost analysis of a probabilistic source language, and compilation to a classical-quantum target language.
Modules
traq-0.2.0.0
- Traq
- Traq.Analysis
- Traq.CQPL
- Traq.Compiler
- Control
- Data
- Examples
- Numeric
- Traq.Prelude
- Traq.Primitives
- Amplify
- Traq.Primitives.Class
- Count
- Max
- Search
- Simons
- Traq.Primitives.TreeSearch
- Traq.ProtoLang
- Utils
- Traq.Analysis