QWIRE software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_GENERAL | Hardware_INTEGRATEDCIRCUITS | Hardware_LOGICDESIGN | ComputerSystemsOrganization_MISCELLANEOUS
    arxiv: Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) | Computer Science::Hardware Architecture | Computer Science::Programming Languages | Computer Science::Logic in Computer Science | Computer Science::Emerging Technologies

A quantum circuit language and formal verification tool
Share - Bookmark