Repositories list

• qtpi

  Public
  a simulator for a version of Gay and Nagarajan's CQP

  OCaml

  •

  GNU General Public License v2.0

  •0•9•0•0•Updated Feb 12, 2024Feb 12, 2024

• qoc

  Public
  Quantum Over Coq

  Coq

  •1•1•0•0•Updated Feb 1, 2022Feb 1, 2022