Skip to content
@inQWIRE

INQWIRE

Verified Software for the Computers of Tomorrow

Pinned Loading

  1. QWIRE Public

    A quantum circuit language and formal verification tool

    Coq 100 26

  2. SQIR Public

    A Small Quantum Intermediate Representation

    Coq 86 24

  3. QuantumLib Public

    Coq library for reasoning about quantum programs

    Coq 39 11

  4. VyZX Public

    Verifying the ZX Calculus

    Coq 20 4

Repositories

Showing 10 of 22 repositories
  • VyZX Public

    Verifying the ZX Calculus

    Coq 20 MIT 4 4 2 Updated Mar 25, 2025
  • Heisenberg-Logic Public

    The basics of the Heisenberg representation of quantum computing

    Coq 1 0 0 0 Updated Mar 25, 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.

    Julia 0 MIT 46 0 0 Updated Feb 13, 2025
  • SQIR Public

    A Small Quantum Intermediate Representation

    Coq 86 MIT 24 9 (1 issue needs help) 0 Updated Jan 21, 2025
  • opam-coq-archive Public Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 0 LGPL-2.1 177 0 0 Updated Jan 20, 2025
  • QuantumLib Public

    Coq library for reasoning about quantum programs

    Coq 39 11 6 1 Updated Jan 19, 2025
  • vyzx-acdc Public
    Jupyter Notebook 0 0 0 0 Updated Oct 31, 2024
  • ViCAR Public

    Category Theory in Coq

    Coq 7 0 0 1 Updated Oct 9, 2024
  • ViZX Public
    TypeScript 2 MIT 0 0 1 Updated Jul 12, 2024
  • VizCaR Public

    Visualizer for ViCaR

    TypeScript 2 MIT 0 0 0 Updated Jul 11, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…