Skip to content

@inQWIRE INQWIRE

Change the repository type filter

All

    Repositories list

    23 repositories

    • Heisenberg-Logic

      Public
      The basics of the Heisenberg representation of quantum computing
      Rocq Prover
      •0•2•0•0•Updated Apr 24, 2026Apr 24, 2026

    • QuantumLib

      Public
      Coq library for reasoning about quantum programs
      Rocq Prover
      •
      Other
      •13•41•6•1•Updated Apr 3, 2026Apr 3, 2026

    • SQIR

      Public
      A Small Quantum Intermediate Representation
      coqquantum-computingcompiler-construction
      coqquantum-computingcompiler-construction
      Rocq Prover
      •
      MIT License
      •26•93•9•1•Updated Apr 2, 2026Apr 2, 2026

    • VyZX

      Public
      Verifying the ZX Calculus
      Rocq Prover
      •
      MIT License
      •4•20•4•2•Updated Jan 16, 2026Jan 16, 2026

    • LeanQuantum

      Public
      A Quantum Computing Library in LEAN
      Lean
      •
      MIT License
      •1•10•0•1•Updated Dec 11, 2025Dec 11, 2025

    • ViZX

      Public
      TypeScript
      •
      MIT License
      •0•2•0•0•Updated Oct 21, 2025Oct 21, 2025

    • QWIRE

      Public
      A quantum circuit language and formal verification tool
      Coq
      •
      MIT License
      •29•109•0•1•Updated May 11, 2025May 11, 2025

    • Metatheory.jl

      Public
      General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting an…
      Julia
      •
      MIT License
      •48•0•0•0•Updated Feb 13, 2025Feb 13, 2025

    • opam-coq-archive

      Public
      Archive for all Coq related OPAM packages organized in various repositories
      OCaml
      •
      GNU Lesser General Public License v2.1
      •135•0•0•0•Updated Jan 20, 2025Jan 20, 2025

    • vyzx-acdc

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Oct 31, 2024Oct 31, 2024

    • ViCAR

      Public
      Category Theory in Coq
      Coq
      •0•7•0•1•Updated Oct 9, 2024Oct 9, 2024

    • VizCaR

      Public
      Visualizer for ViCaR
      TypeScript
      •
      MIT License
      •0•2•0•0•Updated Jul 11, 2024Jul 11, 2024

    • QuantumRandomTesting

      Public
      MIT License
      •0•0•0•0•Updated Nov 8, 2023Nov 8, 2023

    • VQO

      Public
      Verified Compilation of Quantum Oracles
      OpenQASM
      •
      MIT License
      •2•4•8•0•Updated Sep 22, 2023Sep 22, 2023

    • opam-repository

      Public
      Main public package repository for opam, the source package manager of OCaml.
      Shell
      •
      Creative Commons Zero v1.0 Universal
      •1.2k•0•0•0•Updated Jul 31, 2022Jul 31, 2022

    • openqasm-parser

      Public
      OCaml library for manipulating OpenQASM Abstract Syntax Tree
      quantumocamlocaml-library
      quantumocamlocaml-libraryopamsyntax-treemenhirquantum-computingopenqasmopenqasm-parser
      OCaml
      •
      MIT License
      •3•9•0•0•Updated Jul 11, 2022Jul 11, 2022

    • VOQC-benchmarks

      Public
      Benchmarks used to evaluate the VOQC optimizer
      OpenQASM
      •2•2•0•0•Updated Jul 10, 2022Jul 10, 2022

    • mlvoqc

      Public
      OCaml code extracted from the Coq VOQC optimizer
      OCaml
      •
      MIT License
      •5•1•2•0•Updated Jul 8, 2022Jul 8, 2022

    • pyvoqc

      Public
      Python wrapper around the VOQC quantum circuit compiler
      Python
      •
      MIT License
      •4•7•6•0•Updated Apr 19, 2022Apr 19, 2022

    • qasm_to_sqir

      Public
      Coq
      •0•0•0•0•Updated Apr 11, 2022Apr 11, 2022

    • logos

      Public
      Logos for projects in inQWIRE
      0•0•0•0•Updated Dec 16, 2021Dec 16, 2021

    • GottesmanTypes

      Public
      Coq
      •
      MIT License
      •1•2•0•0•Updated Sep 11, 2020Sep 11, 2020

    • LinearTypingContexts

      Public
      A Coq module for working with linear typing contexts.
      Coq
      •1•6•0•0•Updated May 30, 2018May 30, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.