ajavadia / Scaffold-CompilerLinks
Scaffold Compiler Collection
☆15Updated 9 years ago
Alternatives and similar repositories for Scaffold-Compiler
Users that are interested in Scaffold-Compiler are comparing it to the libraries listed below
Sorting:
- A Small Quantum Intermediate Representation☆91Updated 6 months ago
- Compilation, analysis and optimization framework for the Scaffold quantum programming language.☆198Updated 4 years ago
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- Quantum circuit analysis toolkit☆89Updated last week
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆104Updated 2 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Updated 2 years ago
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆146Updated last year
- ☆36Updated 11 months ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Updated 9 years ago
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆157Updated this week
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆64Updated last year
- Coq library for reasoning about quantum programs☆40Updated 4 months ago
- Flexible Quantum Circuit Simulator (qFlex) implements an efficient tensor network, CPU-based simulator of large quantum circuits.☆100Updated 2 years ago
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆13Updated 2 years ago
- Full-stack quantum processing toolkit☆179Updated 2 weeks ago
- A fast minimum-weight perfect matching solver for quantum error correction☆77Updated 6 months ago
- A graphical tool for the ZX calculus☆80Updated last week
- QIR specification defining how to represent quantum programs within the LLVM IR☆96Updated 3 months ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆107Updated 3 years ago
- A quantum circuit drawing application☆185Updated 3 years ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- Quantum algorithms for the simulation of Hamiltonian dynamics.☆29Updated 3 years ago
- The TKET quantum compiler☆48Updated this week
- FunQy - A high-level hybrid quantum programming language☆33Updated 5 years ago
- OpenQL: A Portable Quantum Programming Framework for Quantum Accelerators. https://dl.acm.org/doi/10.1145/3474222☆106Updated last year
- Verified compilation of space-efficient reversible circuits☆23Updated 6 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆89Updated 10 years ago
- Python package for simulating & decoding color code circuits.☆26Updated 5 months ago
- ☆17Updated 2 years ago
- MQT QMAP - A tool for Quantum Circuit Mapping written in C++☆130Updated this week