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 106 27

  2. SQIR SQIR Public

    A Small Quantum Intermediate Representation

    Rocq Prover 90 24

  3. QuantumLib QuantumLib Public

    Coq library for reasoning about quantum programs

    Rocq Prover 40 12

  4. VyZX VyZX Public

    Verifying the ZX Calculus

    Rocq Prover 20 4

Repositories

Showing 10 of 23 repositories
  • 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 1 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
  • QuantumLib Public

    Coq library for reasoning about quantum programs

    inQWIRE/QuantumLib’s past year of commit activity
    Rocq Prover 40 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 90 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 106 MIT 27 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

Top languages

Loading…

Most used topics

Loading…