Skip to content
@inQWIRE

INQWIRE

Verified Software for the Computers of Tomorrow

Pinned Loading

  1. QWIRE QWIRE Public

    A quantum circuit language and formal verification tool

    Coq 109 29

  2. SQIR SQIR Public

    A Small Quantum Intermediate Representation

    Rocq Prover 93 26

  3. QuantumLib QuantumLib Public

    Coq library for reasoning about quantum programs

    Rocq Prover 41 13

  4. VyZX VyZX Public

    Verifying the ZX Calculus

    Rocq Prover 20 4

Repositories

Showing 10 of 23 repositories
  • 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 Apr 22, 2026
  • QuantumLib Public

    Coq library for reasoning about quantum programs

    inQWIRE/QuantumLib’s past year of commit activity
    Rocq Prover 41 13 6 1 Updated Apr 3, 2026
  • SQIR Public

    A Small Quantum Intermediate Representation

    inQWIRE/SQIR’s past year of commit activity
    Rocq Prover 93 MIT 26 9 (1 issue needs help) 1 Updated Apr 2, 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
  • LeanQuantum Public

    A Quantum Computing Library in LEAN

    inQWIRE/LeanQuantum’s past year of commit activity
    Lean 9 MIT 0 0 0 Updated Dec 11, 2025
  • ViZX Public
    inQWIRE/ViZX’s past year of commit activity
    TypeScript 2 MIT 0 0 0 Updated Oct 21, 2025
  • QWIRE Public

    A quantum circuit language and formal verification tool

    inQWIRE/QWIRE’s past year of commit activity
    Coq 109 MIT 29 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
  • 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 190 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

Top languages

Loading…

Most used topics

Loading…