INQWIRE

LeanQuantum Public
A Quantum Computing Library in LEAN

inQWIRE/LeanQuantum’s past year of commit activity

Lean 1 MIT 0 0 0 Updated Dec 11, 2025
VyZX Public
Verifying the ZX Calculus

inQWIRE/VyZX’s past year of commit activity

Rocq Prover 20 MIT 4 4 2 Updated Oct 25, 2025
ViZX Public

inQWIRE/ViZX’s past year of commit activity

TypeScript 2 MIT 0 0 0 Updated Oct 21, 2025
QuantumLib Public
Coq library for reasoning about quantum programs

inQWIRE/QuantumLib’s past year of commit activity

Rocq Prover 41 12 6 0 Updated Oct 9, 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

Rocq Prover 89 MIT 24 9 (1 issue needs help) 0 Updated Jul 30, 2025
QWIRE Public
A quantum circuit language and formal verification tool

inQWIRE/QWIRE’s past year of commit activity

Coq 107 MIT 26 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 47 0 0 Updated Feb 13, 2025
opam-coq-archive Public Forked from rocq-prover/opam
Archive for all Coq related OPAM packages organized in various repositories

inQWIRE/opam-coq-archive’s past year of commit activity

OCaml 0 LGPL-2.1 186 0 0 Updated Jan 20, 2025
vyzx-acdc Public

inQWIRE/vyzx-acdc’s past year of commit activity

Jupyter Notebook 0 0 0 0 Updated Oct 31, 2024

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

INQWIRE

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!