Skip to content
@mdxtoc

MDX ToC

Middlesex University Theory of Computing Group

Popular repositories Loading

  1. qtpi qtpi Public

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

    OCaml 7

  2. qoc qoc Public

    Quantum Over Coq

    Coq 1 1

Repositories

Showing 2 of 2 repositories
  • qtpi Public

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

    mdxtoc/qtpi’s past year of commit activity
    OCaml 7 GPL-2.0 0 0 0 Updated Feb 12, 2024
  • qoc Public

    Quantum Over Coq

    mdxtoc/qoc’s past year of commit activity
    Coq 1 1 0 0 Updated Feb 1, 2022

Top languages

Loading…

Most used topics

Loading…