System-Verification-Lab
Popular repositories Loading
-
-
compact-parallel-hash-tables
compact-parallel-hash-tables PublicCompact parallel hash tables written in CUDA
-
Repositories
Showing 10 of 13 repositories
- Quokka-Sharp Public
System-Verification-Lab/Quokka-Sharp’s past year of commit activity - DiracWMC Public
System-Verification-Lab/DiracWMC’s past year of commit activity - 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 synthesis and verification. Includes input circuits, experiment data, and automation scripts for reproducibility.
System-Verification-Lab/quokka-sharp-artifacts’s past year of commit activity - mtbdd-benchmarks Public Forked from sebastiaanbrand/mtbdd-benchmarks
Quantum Circuit benchmarks for MTBDD implementation
System-Verification-Lab/mtbdd-benchmarks’s past year of commit activity - QuaSARQ Public Forked from muhos/QuaSARQ
Parallel Quantum Simulation and Automated Reasoning on GPUs
System-Verification-Lab/QuaSARQ’s past year of commit activity - GPMC Public
System-Verification-Lab/GPMC’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…