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 Jul 22, 2025Jul 22, 2025

    • QuantumLib

      Public
      Coq library for reasoning about quantum programs
      Rocq Prover
      •
      Other
      •12•39•6•1•Updated Jul 18, 2025Jul 18, 2025

    • VyZX

      Public
      Verifying the ZX Calculus
      Coq
      •
      MIT License
      •4•20•4•2•Updated Jun 9, 2025Jun 9, 2025

    • LeanQuantum

      Public
      A Quantum Computing Library in LEAN
      Lean
      •
      MIT License
      •0•0•0•0•Updated May 16, 2025May 16, 2025

    • QWIRE

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

    • ViZX

      Public
      TypeScript
      •
      MIT License
      •0•2•0•1•Updated Apr 25, 2025Apr 25, 2025

    • Metatheory.jl

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

    • SQIR

      Public
      A Small Quantum Intermediate Representation
      compiler-constructioncoqquantum-computing
      Coq
      •
      MIT License
      •24•86•9•1•Updated Jan 21, 2025Jan 21, 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
      quantumopammenhirquantum-computingopenqasmocamlocaml-librarysyntax-treeopenqasm-parser
      OCaml
      •
      MIT License
      •3•8•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•0•2•0•Updated Jul 8, 2022Jul 8, 2022

    • pyvoqc

      Public
      Python wrapper around the VOQC quantum circuit compiler
      Python
      •
      MIT License
      •4•6•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