ajavadia / Scaffold-CompilerLinks
Scaffold Compiler Collection
☆15Updated 8 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☆86Updated 3 weeks ago
- A quantum circuit language and formal verification tool☆104Updated 3 months ago
- Quantum circuit analysis toolkit☆85Updated last week
- Compilation, analysis and optimization framework for the Scaffold quantum programming language.☆194Updated 3 years ago
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆103Updated 2 years ago
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆152Updated this week
- ☆33Updated 5 months ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆18Updated 9 years ago
- Coq library for reasoning about quantum programs☆39Updated last month
- A graphical tool for the ZX calculus☆62Updated 2 weeks ago
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆120Updated 7 months ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Verified compilation of space-efficient reversible circuits☆23Updated 6 years ago
- Flexible Quantum Circuit Simulator (qFlex) implements an efficient tensor network, CPU-based simulator of large quantum circuits.☆101Updated last year
- A prototype of an SSA-based quantum IR exploiting value semantics☆10Updated last year
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆100Updated 2 years ago
- Python library for quantum circuit rewriting and optimisation using the ZX-calculus☆443Updated last week
- Pythonic quantum-classical programming language☆52Updated last week
- Full-stack quantum processing toolkit☆177Updated last month
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆13Updated last year
- OpenQL: A Portable Quantum Programming Framework for Quantum Accelerators. https://dl.acm.org/doi/10.1145/3474222☆106Updated 11 months ago
- ☆16Updated last year
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆61Updated 9 months ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Updated 5 years ago
- Version 2 of the TKET quantum compiler☆44Updated this week
- The Quartz Quantum Compiler☆85Updated last week
- MQT QMAP - A tool for Quantum Circuit Mapping written in C++☆118Updated this week
- A fast minimum-weight perfect matching solver for quantum error correction☆74Updated 3 weeks ago
- Quantum algorithms for the simulation of Hamiltonian dynamics.☆29Updated 2 years ago
- ☆28Updated 4 months ago