Repositories list

• gv

  Public
  C++

  •1•6•0•0•Updated Jan 20, 2025Jan 20, 2025

• qsyn

  Public
  A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits

  quantumquantum-computingquantum-software+ 1quantum-circuit-synthesis

  C++

  •

  Apache License 2.0

  •17•181•16•1•Updated Jan 15, 2025Jan 15, 2025

• gv-cmdline-template

  Public template
  C++

  •1•0•0•0•Updated Nov 13, 2024Nov 13, 2024

• pyzx

  Public
  Python library for quantum circuit rewriting and optimisation using the ZX-calculus

  OpenQASM

  •

  Apache License 2.0

  •117•0•0•0•Updated May 27, 2024May 27, 2024

• qsyn-benchmark

  Public
  OpenQASM

  •0•0•0•0•Updated May 5, 2024May 5, 2024

• abc

  Public
  ABC: System for Sequential Logic Synthesis and Formal Verification

  C

  •

  Other

  •601•0•0•0•Updated Feb 23, 2024Feb 23, 2024

• cadical

  Public
  CaDiCaL SAT Solver

  C++

  •

  MIT License

  •137•0•0•0•Updated Dec 25, 2023Dec 25, 2023

• 112-1-qda-hw3-q-aware-k-lut

  Public
  A almost-complete, minimum-viable implementation of the quantum-aware k-LUT mapping algorithm

  Python

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•1•Updated Dec 5, 2023Dec 5, 2023