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

  2. SQIR SQIR Public

    A Small Quantum Intermediate Representation

    Coq 81 24

  3. QuantumLib QuantumLib Public

    Coq library for reasoning about quantum programs

    Coq 35 10

  4. VyZX VyZX Public

    Verifying the ZX Calculus

    Coq 19 4

Repositories

Showing 10 of 22 repositories
  • 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 176 0 0 Updated Jan 19, 2025
  • QuantumLib Public

    Coq library for reasoning about quantum programs

    inQWIRE/QuantumLib’s past year of commit activity
    Coq 35 10 6 0 Updated Jan 19, 2025
  • VyZX Public

    Verifying the ZX Calculus

    inQWIRE/VyZX’s past year of commit activity
    Coq 19 MIT 4 3 3 Updated Jan 19, 2025
  • 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 Jan 16, 2025
  • 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 6 0 0 1 Updated Oct 9, 2024
  • SQIR Public

    A Small Quantum Intermediate Representation

    inQWIRE/SQIR’s past year of commit activity
    Coq 81 MIT 24 8 (1 issue needs help) 1 Updated Aug 20, 2024
  • ViZX Public
    inQWIRE/ViZX’s past year of commit activity
    TypeScript 2 MIT 0 0 1 Updated Jul 12, 2024
  • VizCaR Public

    Visualizer for ViCaR

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

Top languages

Loading…

Most used topics

Loading…