MQT ZX - A library for working with ZX-diagrams
☆18Jun 15, 2023Updated 3 years ago
Alternatives and similar repositories for zx
Users that are interested in zx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Interface Library for SAT/SMT Abstractions written in C++☆13Oct 5, 2026Updated last month
- Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. W…☆20May 19, 2023Updated 3 years ago
- The source code for simulating microfluidic fuel cell (MFFC) performance.☆11Oct 24, 2022Updated 4 years ago
- ☆18May 7, 2024Updated 2 years ago
- Design Automation Toolkit for the European Train Control System☆13May 31, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆28Updated this week
- MNT Bench - An MNT tool for Benchmarking FCN circuits☆14Updated this week
- MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in de…☆27Updated this week
- ☆14May 7, 2024Updated 2 years ago
- MQT SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits☆39Updated this week
- Physical Simulation Engines for Silicon Dangling Bonds☆18Oct 21, 2026Updated 2 weeks ago
- ☆17Nov 10, 2023Updated 2 years ago
- Set up a specific version of the Z3 theorem prover☆14Oct 21, 2026Updated 2 weeks ago
- Layout and simulation files of the paper "QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic" by J. Drew…☆10Mar 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Explore Operational Domains of SiDB logic gates☆27Oct 31, 2026Updated last week
- MQT ProblemSolver - A Tool for Solving Problems Using Quantum Computing☆56Updated this week
- Silicon Dangling Bond Layouts☆10Oct 2, 2024Updated 2 years ago
- Service provider for the MQT on the PlanQK platform☆17Sep 20, 2026Updated last month
- A tool for mapping qubits on a qudit architecture of preferred size☆20Updated this week
- Design Automation for Railway Systems☆31Updated this week
- NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.☆20Updated this week
- MQT IonShuttler - A Tool for Generating Shuttling Schedules for Trapped-Ion Quantum Computers☆37Updated this week
- Design automation solution for organs-on-chip.