Pinned Repositories
Benchmark
Approximate-Equivalence-Checking
BraAndKet
BraAndKet is a library for numeral calculations of discrete quantum systems.(bra, ket, operator, trace ...)
braandket-synthesis
cotengra
Hyper optimized contraction trees for large tensor networks and einsums - https://cotengra.readthedocs.io
EC-for-Dynamic-Quantum-Circuits
lstools-showcase
Showcase examples for EPFL logic synthesis libraries
qmap
QMAP - A JKQ tool for Quantum Circuit Mapping written in C++
TDD
Veriqc's Repositories
Veriqc/TDD
Veriqc/Approximate-Equivalence-Checking
Veriqc/BraAndKet
BraAndKet is a library for numeral calculations of discrete quantum systems.(bra, ket, operator, trace ...)
Veriqc/braandket-synthesis
Veriqc/cotengra
Hyper optimized contraction trees for large tensor networks and einsums - https://cotengra.readthedocs.io
Veriqc/EC-for-Dynamic-Quantum-Circuits
Veriqc/lstools-showcase
Showcase examples for EPFL logic synthesis libraries
Veriqc/qmap
QMAP - A JKQ tool for Quantum Circuit Mapping written in C++