Skip to content

@System-Verification-Lab System-Verification-Lab

All

    Repositories list

    17 repositories

    • cdcl-qsat

      Public
      Rust
      •0•0•0•0•Updated Oct 9, 2026Oct 9, 2026

    • QuaSARQ

      Public
      Parallel Quantum Simulation and Automated Reasoning on GPUs
      Cuda
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Aug 13, 2026Aug 13, 2026

    • dlx4sop

      Public
      Tool for strong quantum-circuit simulation by evaluating sums of powers
      C
      •
      MIT License
      •1•0•0•0•Updated Aug 11, 2026Aug 11, 2026

    • Quokka-Sharp

      Public
      Python
      •
      MIT License
      •9•12•5•0•Updated Jul 26, 2026Jul 26, 2026

    • reach-dd

      Public
      C
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 11, 2026Jun 11, 2026

    • 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 Apr 23, 2026Apr 23, 2026

    • graph-state-synthesis

      Public
      Python
      •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
      •2•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

    • GPMC

      Public
      C++
      •
      MIT License
      •1•0•13•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.