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 89 24

  2. SQIR SQIR Public

    A Small Quantum Intermediate Representation

    Coq 77 22

  3. QuantumLib QuantumLib Public

    Coq library for reasoning about quantum programs

    Coq 25 10

  4. VyZX VyZX Public

    Verifying the ZX Calculus

    Coq 12 4

Repositories

Showing 10 of 22 repositories
  • ViZX Public
    inQWIRE/ViZX’s past year of commit activity
    TypeScript 0 MIT 0 0 1 Updated Jul 11, 2024
  • VizCaR Public

    Visualizer for ViCaR

    inQWIRE/VizCaR’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Jul 11, 2024
  • VyZX Public

    Verifying the ZX Calculus

    inQWIRE/VyZX’s past year of commit activity
    Coq 12 MIT 4 3 1 Updated Jul 11, 2024
  • Heisenberg-Logic Public

    The basics of the Heisenberg representation of quantum computing

    inQWIRE/Heisenberg-Logic’s past year of commit activity
    Coq 1 0 0 0 Updated Jul 8, 2024
  • 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 45 0 0 Updated Jul 3, 2024
  • ViCAR Public

    Category Theory in Coq

    inQWIRE/ViCAR’s past year of commit activity
    Coq 2 0 0 0 Updated Jun 2, 2024
  • opam-coq-archive Public Forked from coq/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 171 0 0 Updated May 28, 2024
  • QuantumLib Public

    Coq library for reasoning about quantum programs

    inQWIRE/QuantumLib’s past year of commit activity
    Coq 25 10 3 0 Updated May 27, 2024
  • vyzx-acdc Public
    inQWIRE/vyzx-acdc’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Apr 11, 2024
  • SQIR Public

    A Small Quantum Intermediate Representation

    inQWIRE/SQIR’s past year of commit activity
    Coq 77 MIT 22 8 (1 issue needs help) 0 Updated Mar 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…