cksystemsgroup/unicorn

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

Language: Rust - Size: 10.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 33 - Forks: 9

mgarbellini/Quantum-Walks-Time-Dependent-Hamiltonians

In this thesis we study the properties of quantum walks with time dependent Hamiltonians, focusing in particular on the application to the quantum search problem on graphs. We study the search, localization and give a measure of robustness.

Language: Python - Size: 19.8 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 5

Minusome/ember

A toolkit for experimenting with novel heuristic algorithms to minor embed QUBO graphs for quantum annealing

Language: Jupyter Notebook - Size: 57.8 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 4

Kahsolt/Adiabatic-Linear-Solver-QPanda

Block Encodings & Quantum Discrete Adiabatic Linear-systems Solver implemented in QPanda (C++)

Language: Python - Size: 42.2 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

thyung/qiskit_adiabatic_qaoa

Simulate Adiabatic Process in Qiskit and similarly use QAOA

Language: Jupyter Notebook - Size: 729 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

vivekkatial/aqc-three-sat-sim

Simulation of Adiabatic Quantum Optimisation

Language: HTML - Size: 51.6 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

ryuikaneko/shortcut_to_adiabaticity

Language: Python - Size: 1.37 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 2