Alternatives and similar repositories for syrec

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

• munich-quantum-toolkit / qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆27Updated this week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆13Updated this week
• 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…
  ☆18Updated 2 years ago
• cda-tum / zx
  MQT ZX - A library for working with ZX-diagrams
  ☆17Updated 2 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆83Updated this week
• cda-tum / mnt-bench
  MNT Bench - An MNT tool for Benchmarking FCN circuits
  ☆13Updated last month
• munich-quantum-toolkit / .github
  The Munich Quantum Toolkit
  ☆29Updated 2 weeks ago
• cda-tum / mmft-droplet-simulator
  ☆16Updated 2 years ago
• cda-tum / LogicBlocks
  A Interface Library for SAT/SMT Abstractions written in C++
  ☆13Updated 2 months ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆31Updated 2 years ago
• cda-tum / mnt-siqad-plugins
  Physical Simulation Engines for Silicon Dangling Bonds
  ☆17Updated this week
• cda-tum / mqt-misim
  MQT library to handle quantum circuits with mixed dimensions
  ☆17Updated last week
• cda-tum / mqt-dasqa
  MQT DASQA - Designer for Superconducting Quantum Architectures
  ☆19Updated 9 months ago
• cda-tum / mmft-fuel-cell
  The source code for simulating microfluidic fuel cell (MFFC) performance.
  ☆11Updated 3 years ago
• munich-quantum-toolkit / ddvis
  MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in de…
  ☆26Updated this week
• cda-tum / mnt-opdom-explorer
  Explore Operational Domains of SiDB logic gates
  ☆26Updated this week
• cda-tum / mqt-qudit-compilation
  ☆18Updated last year
• munich-quantum-toolkit / workflows
  A collection of reusable GitHub workflows used throughout the MQT
  ☆11Updated this week
• cda-tum / mqt-limdd
  ☆16Updated last week
• cda-tum / da_etcs
  Design Automation Toolkit for the European Train Control System
  ☆12Updated 3 years ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆156Updated this week
• munich-quantum-toolkit / core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆104Updated this week
• munich-quantum-toolkit / qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆106Updated this week
• cda-tum / mtct
  Design Automation for Railway Systems
  ☆28Updated this week
• munich-quantum-toolkit / qmap
  MQT QMAP - A tool for Quantum Circuit Mapping written in C++
  ☆129Updated this week
• cda-tum / mnt-nanoplacer
  NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.
  ☆19Updated last month
• cda-tum / mqt-qudit-compression
  A tool for mapping qubits on a qudit architecture of preferred size
  ☆20Updated this week
• cda-tum / mqt-planqk
  Service provider for the MQT on the PlanQK platform
  ☆17Updated this week
• cda-tum / mmft-iso-designer
  The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.
  ☆13Updated 2 months ago
• cda-tum / mqt-qao
  MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers
  ☆29Updated last week