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 92 26

  2. SQIR SQIR Public

    A Small Quantum Intermediate Representation

    Coq 79 24

  3. QuantumLib QuantumLib Public

    Coq library for reasoning about quantum programs

    Coq 32 10

  4. VyZX VyZX Public

    Verifying the ZX Calculus

    Coq 13 4

Repositories

Showing 10 of 22 repositories
  • VyZX Public

    Verifying the ZX Calculus

    inQWIRE/VyZX’s past year of commit activity
    Coq 13 MIT 4 3 2 Updated Nov 1, 2024
  • vyzx-acdc Public
    inQWIRE/vyzx-acdc’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Oct 31, 2024
  • ViCAR Public

    Category Theory in Coq

    inQWIRE/ViCAR’s past year of commit activity
    Coq 3 0 0 1 Updated Oct 9, 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 Sep 4, 2024
  • QuantumLib Public

    Coq library for reasoning about quantum programs

    inQWIRE/QuantumLib’s past year of commit activity
    Coq 32 10 6 1 Updated Sep 4, 2024
  • SQIR Public

    A Small Quantum Intermediate Representation

    inQWIRE/SQIR’s past year of commit activity
    Coq 79 MIT 24 8 (1 issue needs help) 0 Updated Aug 20, 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 174 0 0 Updated Jul 29, 2024
  • ViZX Public
    inQWIRE/ViZX’s past year of commit activity
    TypeScript 1 MIT 0 0 1 Updated Jul 12, 2024
  • VizCaR Public

    Visualizer for ViCaR

    inQWIRE/VizCaR’s past year of commit activity
    TypeScript 1 MIT 0 0 0 Updated Jul 11, 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 48 0 0 Updated Jul 3, 2024
View all repositories

Most used topics

Loading…