Giters
inQWIRE
/
VQO
Verified Compilation of Quantum Oracles
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
1
Issues:
8
Forks:
1
inQWIRE/VQO Issues
Allowing the full quantum program definition in QVM with SQIR.
Updated
3 years ago
Improve QIMP design in QVM/rcir-plus
Updated
3 years ago
Improve algorithm for multiplication so circuits match what Quipper is doing in QVM/rcir-plus
Updated
3 years ago
Make proof more modular in QVM in rcir-plus
Updated
3 years ago
rcir-plus quality improvements.
Updated
3 years ago
Fixing problems that prevented creating circuits for sine and ChaCha20
Updated
3 years ago
Hamiltonian Simulation library
Updated
3 years ago
Enhancements that could be made to the QVM testing framework
Updated
3 years ago