Skip to content
@qafny

qafny

Popular repositories Loading

  1. qsym qsym Public

    Haskell 2 1

  2. pqasm pqasm Public

    OpenQASM 1

  3. qaskell qaskell Public

    A Functional Implementation of Quantum Simulation

    Jupyter Notebook

  4. qafny_impl qafny_impl Public

    Qafny to Dafny Compiler

    Haskell

  5. qafny_proof qafny_proof Public

    Forked from plum-umd/QNP

    Quantum Natural Proof

    Coq

Repositories

Showing 5 of 5 repositories
  • pqasm Public
    OpenQASM 1 MIT 0 0 0 Updated Apr 4, 2025
  • qafny_proof Public Forked from plum-umd/QNP

    Quantum Natural Proof

    Coq 0 4 0 0 Updated Apr 3, 2025
  • qafny_impl Public

    Qafny to Dafny Compiler

    Haskell 0 BSD-2-Clause 0 0 0 Updated Apr 3, 2025
  • qaskell Public

    A Functional Implementation of Quantum Simulation

    Jupyter Notebook 0 0 0 0 Updated Mar 10, 2025
  • qsym Public
    Haskell 2 BSD-2-Clause 1 0 0 Updated Feb 17, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…