INQWIRE

QuantumLib Public
Coq library for reasoning about quantum programs

inQWIRE/QuantumLib’s past year of commit activity

Rocq Prover
40 13 6 1
Updated Mar 21, 2026
VyZX Public
Verifying the ZX Calculus

inQWIRE/VyZX’s past year of commit activity

Rocq Prover
20
MIT
4 4 2
Updated Jan 16, 2026
inQWIRE/LeanQuantum’s past year of commit activity

Lean
3
MIT 0
0 0
Updated Dec 11, 2025
inQWIRE/ViZX’s past year of commit activity

TypeScript
2
MIT 0
0 0
Updated Oct 21, 2025
Heisenberg-Logic Public
The basics of the Heisenberg representation of quantum computing

inQWIRE/Heisenberg-Logic’s past year of commit activity

Rocq Prover
2
0
0 0
Updated Sep 27, 2025
SQIR Public
A Small Quantum Intermediate Representation

inQWIRE/SQIR’s past year of commit activity
QWIRE Public
A quantum circuit language and formal verification tool

inQWIRE/QWIRE’s past year of commit activity

Coq
107
MIT
28 0 1
Updated May 11, 2025
Metatheory.jl Public Forked from JuliaSymbolics/Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

inQWIRE/Metatheory.jl’s past year of commit activity

Julia 0 MIT
49 0 0
Updated Feb 13, 2025
inQWIRE/opam-coq-archive’s past year of commit activity

OCaml 0 LGPL-2.1
190 0 0
Updated Jan 20, 2025
inQWIRE/vyzx-acdc’s past year of commit activity

Jupyter Notebook 0 0
0 0
Updated Oct 31, 2024