Ohad Lev's repositories
sat-circuits-engine
A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.
awesome-quantum-software
Curated list of open-source quantum software projects.
ibm-quantum-challenge-fall-22
For IBM Quantum Fall Challenge 2022
JAX_Tutorials
Personal developed tutorials for JAX Python library
qiskit-terra
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and algorithms.
Quantum_Multiplier
This small-scale Qiskit-based program builds and runs quantum circuits for integers multiplication. The implementation is based on Fourier basis addition.