epiqc / RKQC
RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "QASM" format assembly language instructions, primarily for quantum computing machines.
☆17Updated 8 years ago
Alternatives and similar repositories for RKQC:
Users that are interested in RKQC are comparing it to the libraries listed below
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆102Updated last year
- Compilation, analysis and optimization framework for the Scaffold quantum programming language.☆192Updated 3 years ago
- A Small Quantum Intermediate Representation☆86Updated 3 months ago
- ☆25Updated 4 years ago
- A quantum circuit language and formal verification tool☆102Updated last year
- ☆25Updated 3 years ago
- ☆15Updated 2 years ago
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆146Updated this week
- Scaffold Compiler Collection☆15Updated 8 years ago
- Quantum circuit analysis toolkit☆74Updated 2 weeks ago
- MQT QCEC - A tool for Quantum Circuit Equivalence Checking☆95Updated this week
- Pythonic quantum-classical programming language☆41Updated last week
- State-of-the-art in reversible logic synthesis☆18Updated 8 years ago
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆111Updated 3 months ago
- Coq library for reasoning about quantum programs☆39Updated 3 months ago
- ☆21Updated 11 months ago
- Arline Benchmarks platform allows to benchmark various algorithms for quantum circuit mapping/compression against each other on a list of…☆31Updated 3 years ago
- Full-stack quantum processing toolkit☆169Updated 3 months ago
- An OpenQASM source-to-source Compiler.☆20Updated 6 years ago
- QIR specification defining how to represent quantum programs within the LLVM IR☆70Updated 2 months ago
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆53Updated 5 months ago
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆78Updated 6 months ago
- Backend Compiler for Scaffold☆22Updated 3 years ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆98Updated 2 years ago
- A JIT compiler for hybrid quantum programs in PennyLane☆161Updated this week
- XACC - eXtreme-scale Accelerator programming framework☆170Updated 8 months ago
- OpenQL: A Portable Quantum Programming Framework for Quantum Accelerators. https://dl.acm.org/doi/10.1145/3474222☆103Updated 7 months ago
- minorminer is a heuristic tool for minor embedding: given a minor and target graph, it tries to find a mapping that embeds the minor into…☆48Updated last month
- Blackbird is a quantum assembly language for continuous-variable quantum computation, that can be used to program Xanadu's quantum photon…☆74Updated 2 years ago
- Hierarchical Unified Graph Representation for quantum and classical programs☆35Updated this week