INQWIRE

QWIRE

A quantum circuit language and formal verification tool

SQIR

A Small Quantum Intermediate Representation

QuantumLib

Coq library for reasoning about quantum programs

VyZX

Verifying the ZX Calculus

openqasm-parser

OCaml library for manipulating OpenQASM Abstract Syntax Tree

LinearTypingContexts

A Coq module for working with linear typing contexts.

pyvoqc

Python wrapper around the VOQC quantum circuit compiler

VQO

Verified Compilation of Quantum Oracles

GottesmanTypes

ViCAR

Category Theory in Coq

VOQC-benchmarks

Benchmarks used to evaluate the VOQC optimizer

Heisenberg-Logic

The basics of the Heisenberg representation of quantum computing

ViZX

logos

Logos for projects in inQWIRE

Metatheory.jl

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

mlvoqc

OCaml code extracted from the Coq VOQC optimizer

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

Main public package repository for opam, the source package manager of OCaml.

qasm_to_sqir

QuantumRandomTesting

VizCaR

Visualizer for ViCaR

vyzx-acdc