Alternatives and similar repositories for SliQEC:

Users that are interested in SliQEC are comparing it to the libraries listed below

• NTU-ALComLab / SliQSim
  A BDD-based Quantum Circuit Simulator
  ☆19Updated 2 months ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆30Updated last year
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated this week
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆74Updated this week
• cda-tum / zx
  MQT ZX - A library for working with ZX-diagrams
  ☆17Updated last year
• cda-tum / mqt-qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆95Updated this week
• munich-quantum-toolkit / bench
  MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
  ☆87Updated this week
• qu-tan-um / OLSQ
  OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing
  ☆25Updated 2 years ago
• cda-tum / mnt-bestagon-library
  Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. W…
  ☆17Updated last year
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆25Updated 3 years ago
• cda-tum / mqt-qudit-compilation
  ☆18Updated 11 months ago
• teaguetomesh / quantum_circuit_generator
  Python package for automated generation of different types of quantum circuits
  ☆20Updated 3 years ago
• weiT1993 / CutQC
  ☆28Updated 5 months ago
• iic-jku / ibm_qx_mapping
  Mapping of OPENQASM programs to IBM QX satisfying the architectural constraints
  ☆20Updated 4 years ago
• cda-tum / mnt-siqad-plugins
  Physical Simulation Engines for Silicon Dangling Bonds
  ☆15Updated this week
• cda-tum / mqt-qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆23Updated this week
• Veri-Q / Benchmark
  ☆27Updated 2 weeks ago
• munich-quantum-toolkit / workflows
  A collection of reusable GitHub workflows used throughout the MQT
  ☆10Updated this week
• SimoneGasperini / qiskit-symb
  Symbolic evaluation of parameterized quantum circuits in Qiskit
  ☆34Updated 3 months ago
• cda-tum / mqt-ion-shuttler
  MQT IonShuttler - generate shuttling schedules for QCCD architectures
  ☆18Updated 2 months ago
• cda-tum / LogicBlocks
  A Interface Library for SAT/SMT Abstractions written in C++
  ☆12Updated 2 weeks ago
• cda-tum / mqt-dasqa
  MQT DASQA - Designer for Superconducting Quantum Architectures
  ☆17Updated last month
• cda-tum / mqt-debugger
  A semi-automated tool for debugging quantum programs
  ☆16Updated this week
• munich-quantum-toolkit / .github
  The Munich Quantum Toolkit
  ☆22Updated this week
• qiskit-community / qiskit-hackathon-taiwan-20
  ☆32Updated 4 years ago
• cda-tum / mmft-fuel-cell
  The source code for simulating microfluidic fuel cell (MFFC) performance.
  ☆11Updated 2 years ago
• munich-quantum-toolkit / core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆72Updated this week
• cda-tum / mnt-bench
  MNT Bench - An MNT tool for Benchmarking FCN circuits
  ☆11Updated 3 months ago
• cda-tum / mqt-qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆107Updated this week
• cda-tum / da_etcs
  Design Automation Toolkit for the European Train Control System
  ☆12Updated 2 years ago