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 111 28

  2. SQIR SQIR Public

    A Small Quantum Intermediate Representation

    Rocq Prover 104 26

  3. QuantumLib QuantumLib Public

    Coq library for reasoning about quantum programs

    Rocq Prover 41 16

  4. VyZX VyZX Public

    Verifying the ZX Calculus

    Rocq Prover 21 5

Repositories

Showing 10 of 24 repositories
  • TensorRocq Public

    A small tensor library for working with diagrammatic calculi within Rocq

    inQWIRE/TensorRocq's past year of commit activity
    Rocq Prover 3 MIT 1 0 0 Updated Sep 15, 2026
  • LeanQuantum Public

    A Quantum Computing Library in LEAN

    inQWIRE/LeanQuantum's past year of commit activity
    Lean 25 MIT 5 0 1 Updated Jul 14, 2026
  • 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 24, 2026
  • QuantumLib Public

    Coq library for reasoning about quantum programs

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

    A Small Quantum Intermediate Representation

    inQWIRE/SQIR's past year of commit activity
    Rocq Prover 104 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 21 MIT 5 4 2 Updated Jan 16, 2026
  • ViZX Public
    inQWIRE/ViZX's past year of commit activity
    TypeScript 3 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 111 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 50 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 1 LGPL-2.1 196 0 0 Updated Jan 20, 2025
View all repositories

Most used topics

Loading…