https://github.com/qi-rub/traq

Quantum Cost Analysis of Classical Programs
https://github.com/qi-rub/traq

haskell programming-languages quantum-computing quantum-programming quantum-programming-language research

Last synced: 3 days ago
JSON representation

Quantum Cost Analysis of Classical Programs

• Host: GitHub
• URL: https://github.com/qi-rub/traq
• Owner: qi-rub
• License: mit
• Created: 2024-12-06T11:40:35.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2026-01-27T21:22:48.000Z (17 days ago)
• Last Synced: 2026-01-28T07:20:56.100Z (17 days ago)
• Topics: haskell, programming-languages, quantum-computing, quantum-programming, quantum-programming-language, research
• Language: Haskell
• Homepage: https://qi-rub.github.io/traq/
• Size: 1.69 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md
  • Changelog: CHANGELOG.md
  • Contributing: Contributing.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Traq: Estimating Quantum Cost of Classical Programs [![CI](../../actions/workflows/ci.yml/badge.svg)](../../actions/workflows/ci.yml)

================

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.

1. `cabal run` to run the main entry point.

1. `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](examples/matrix_search/demo.hs) for the code to run the matrix search example.

Contributing

------------

Please see [Contributing.md](Contributing.md).