QA-Prolog
Prolog compiler
A Prolog compiler that translates logic programs into a format suitable for quantum annealing
Quantum Annealing Prolog
36 stars
9 watching
7 forks
Language: Go
last commit: almost 3 years ago
Linked from 1 awesome list
qosf/awesome-quantum-softwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
| lanl/edif2qmasm | Enables running Verilog or VHDL programs on a quantum annealer by converting them into a specific language for the device. | 24 |
| lanl/qmasm | A software tool that enables low-level programming on D-Wave systems' adiabatic quantum computers | 337 |
 bbn-q/qgl.jl | A high-performance compiler for quantum gate sequences | 13 |
 quil-lang/quilc | An optimizing compiler for a quantum instruction language | 460 |
| bbn-q/qgl | A Python-based language for specifying and executing quantum gate sequences | 31 |
| lanl/nchoosek | A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
 ornl-qci/qcor | A compiler and language extension for heterogeneous quantum-classical computing | 11 |
| bbn-q/pyqgl2 | A Python-based language and compiler for programming quantum computers directly at the physical layer. | 9 |
| ornl-qci/xacc | An open-source framework for hybrid quantum-classical computing architectures. | 1 |
 quandela/perceval | A framework for programming photonic quantum computers | 152 |
 fzj-pgi-12/qaoa.jl | An algorithm for solving optimization problems on quantum computers using machine learning techniques. | 13 |
 cqcl/tket2 | A quantum compiler that compiles high-level quantum circuits into hardware-agnostic machine code | 30 |
 qutech-delft/openql | A portable quantum programming framework for compiling and optimizing quantum code on various target platforms. | 101 |
 pennylaneai/catalyst | A JIT compiler for hybrid quantum-classical programs in Python. | 139 |
 aviggiano/qcl | A programming language for quantum computing that provides a high-level syntax and various features to support the implementation of quantum algorithms. | 39 |