Traq: Estimating Quantum Cost of Classical Programs

A Haskell tool to estimate data-dependent expected quantum costs of high-level classical programs.

Install

Currently being developed against GHC 9.6.7. See the CI for other compatible versions.

1. cabal build to build the project.
2. cabal run to run the main entry point.
3. cabal test to run the tests.

Usage

Traq takes high-level classical programs in our prototype language, and produces expected cost estimates. See demo.hs for the code to run the matrix search example.

Contributing

Please see Contributing.md.