Repositories list

• quokka-sharp-artifacts

  Public
  Benchmark datasets, CNF encodings, and evaluation scripts supporting multiple research papers based on Quokka#, a tool for SAT- and #SAT-based quantum circuit s…

  OpenQASM

  •0•1•0•0•Updated Mar 6, 2026Mar 6, 2026

• cdcl-qsat

  Public
  Rust

  •0•0•0•0•Updated Mar 2, 2026Mar 2, 2026

• Quokka-Sharp

  Public
  Python

  •

  MIT License

  •2•7•5•0•Updated Feb 19, 2026Feb 19, 2026

• graph-state-synthesis

  Public
  Python

  •0•0•0•0•Updated Jan 23, 2026Jan 23, 2026

• reach-dd

  Public
  C

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 23, 2026Jan 23, 2026

• q-sylvan

  Public
  Quantum circuit simulators based on binary- and edge valued decision diagrams.

  C++

  •

  Apache License 2.0

  •0•2•0•0•Updated Dec 23, 2025Dec 23, 2025

• DiracWMC

  Public
  Python

  •0•1•0•0•Updated Oct 27, 2025Oct 27, 2025

• MEDUSA

  Public
  An MTBDD-based quantum circuit simulator

  OpenQASM

  •1•0•0•0•Updated Jul 18, 2025Jul 18, 2025

• mtbdd-benchmarks

  Public
  Quantum Circuit benchmarks for MTBDD implementation

  OpenQASM

  •

  Apache License 2.0

  •1•1•0•0•Updated May 5, 2025May 5, 2025

• QuaSARQ

  Public
  Parallel Quantum Simulation and Automated Reasoning on GPUs

  Cuda

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated May 3, 2025May 3, 2025

• GPMC

  Public
  C++

  •

  MIT License

  •1•0•12•0•Updated Apr 8, 2025Apr 8, 2025

• q-tool-benchmarks

  Public
  OpenQASM

  •2•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• compact-parallel-hash-tables

  Public
  Compact parallel hash tables written in CUDA

  Cuda

  •

  MIT License

  •1•4•2•0•Updated Aug 19, 2024Aug 19, 2024

• ipdr

  Public
  C++

  •0•0•0•0•Updated Nov 20, 2023Nov 20, 2023

• CCEC

  Public
  C++

  •0•1•0•0•Updated Jun 9, 2023Jun 9, 2023

• paragnosis

  Public
  C++

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 24, 2023Apr 24, 2023