Beast code in Giters

Matthew Amy's repositories

Quantum circuit analysis toolkit

Language:HaskellBSD-3-Clause57 9 7

A quantum circuit optimizer based on sum-over-paths representations

Language:C++GPL-3.024 3 2

A meet-in-the-middle quantum circuit synthesizer

Language:C++GPL-3.04 20

Language:OCaml1 20

A certified library of quantum computing using the Isabelle proof assistant

Language:Isabelle010

Personal webpage

Language:HTML020

Convert a QASM 3 subset to QASM 2

Language:Haskell000

Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.

Language:PythonApache-2.0010

A modern C++11 quantum computing library

Language:C++MIT010

Microsoft Quantum Development Kit Samples and Libraries

Language:PythonMIT020

Language:HaskellMIT020

C++17 Library for parsing files used to describe quantum circuits

Language:C++MIT020