Skip to content
@qafny

qafny

Popular repositories Loading

  1. qafny_impl qafny_impl Public

    Qafny to Dafny Compiler

    Python 5

  2. qsym qsym Public

    Haskell 3 1

  3. pqasm pqasm Public

    OpenQASM 1

  4. particleSystem particleSystem Public

    Rocq Prover 1

  5. qaskell qaskell Public

    A Functional Implementation of Quantum Simulation

    Jupyter Notebook

  6. qafny_proof qafny_proof Public

    Forked from plum-umd/QNP

    Quantum Natural Proof

    Rocq Prover

Repositories

Showing 7 of 7 repositories

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…