Veriqc / TDD
☆9Updated last year
Alternatives and similar repositories for TDD:
Users that are interested in TDD are comparing it to the libraries listed below
- MQT QCEC - A tool for Quantum Circuit Equivalence Checking☆96Updated this week
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆145Updated this week
- MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools☆86Updated this week
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆107Updated 2 months ago
- MQT QMAP - A tool for Quantum Circuit Mapping written in C++☆107Updated this week
- MQT QECC - Tools for Quantum Error Correcting Codes☆131Updated this week
- Mapping of OPENQASM programs to IBM QX satisfying the architectural constraints☆20Updated 4 years ago
- FPGA implementation of distributed union find algorithm☆10Updated last year
- MQT Core - The Backbone of the Munich Quantum Toolkit☆69Updated this week
- ☆28Updated 4 months ago
- ☆30Updated 10 months ago
- Quantum circuit analysis toolkit☆71Updated this week
- A fast minimum-weight perfect matching solver for quantum error correction☆70Updated 2 months ago
- ☆21Updated 10 months ago
- MQT decision diagram package tailored to quantum computing☆30Updated last year
- ☆13Updated 2 years ago
- ☆21Updated this week
- OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing☆25Updated 2 years ago
- ☆41Updated 9 months ago
- Lattice surgery quantum error correction compiler☆53Updated last month
- Reducing depth of circuits with operator backpropagation☆37Updated last week
- Python package for simulation and visualization of quantum error-correction on surface codes. The package provides the ability to inspect…☆66Updated last month
- qecsim is a Python 3 package for simulating quantum error correction using stabilizer codes.☆79Updated 3 years ago
- A software for nonlinear optimization with Quantum Hamiltonian Decent (QHD)☆18Updated 3 months ago
- An efficient Python-based framework for implementing qubit subspace methods, reducing the resource requirements for near-term quantum sim…☆40Updated 2 months ago
- A package for decoding Stim circuits using belief propagation with ordered statistics decoding (BP+OSD)☆26Updated last year
- Berkeley Quantum Synthesis Toolkit☆136Updated last month
- ☆12Updated 8 months ago
- Python quantum signal processing☆101Updated 3 months ago
- Sliding window with Guided Decimation Guessing Decoding for QLDPC codes.☆18Updated 9 months ago