Pinned Repositories
alive2
Automatic verification of LLVM optimizations
codespaces-jupyter
Explore machine learning and data science with Codespaces
Database-Search-with-Qsharp
A Database Search with the Grover-Algorithm in Qsharp
feynman
Quantum circuit analysis toolkit
LitExtract
Python-based project facilitates text extraction from PDFs formatted in article style. It must be tuned to the your targets, so please refer to the README.md.
pyqir
PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).
qat
QIR compiler tools and optimization passes for targeting QIR to different hardware backends
qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
qcor
C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
qcs-sdk-qir
Practice: Compile & Run Quantum Intermediate Representation (QIR) Programs on QCS
PariaNaghavi's Repositories
PariaNaghavi/qcs-sdk-qir
Practice: Compile & Run Quantum Intermediate Representation (QIR) Programs on QCS
PariaNaghavi/alive2
Automatic verification of LLVM optimizations
PariaNaghavi/codespaces-jupyter
Explore machine learning and data science with Codespaces
PariaNaghavi/Database-Search-with-Qsharp
A Database Search with the Grover-Algorithm in Qsharp
PariaNaghavi/feynman
Quantum circuit analysis toolkit
PariaNaghavi/LitExtract
Python-based project facilitates text extraction from PDFs formatted in article style. It must be tuned to the your targets, so please refer to the README.md.
PariaNaghavi/pyqir
PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).
PariaNaghavi/qat
QIR compiler tools and optimization passes for targeting QIR to different hardware backends
PariaNaghavi/qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
PariaNaghavi/qcor
C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
PariaNaghavi/qir-book
Documentation/Examples for the QIR community
PariaNaghavi/quantinomocon
The dark arts of making quantum languages.
PariaNaghavi/QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
PariaNaghavi/QIR2Verify
PariaNaghavi/qsharp-compiler
Q# compiler, command line tool, and Q# language server
PariaNaghavi/QuantumLib
Coq library for reasoning about quantum programs
PariaNaghavi/qutip-qip
The QuTiP quantum information processing package- updates for QIR generation using pyqir (0.7.0)
PariaNaghavi/QWIRE
Using QWIRE to verify QIR general optimizations, e.g. circuit decomposition for small circuits
PariaNaghavi/rust-ffi-examples
FFI examples written in Rust
PariaNaghavi/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
PariaNaghavi/staq
A full-stack quantum processing toolkit
PariaNaghavi/vellvm
QIR Semantics in Vellvm