Popular repositories Loading

1. DiracRepr DiracRepr Public

   Coq formalization of a simple quantum imperative language, with Hoare-style logic.

   Coq 2 4

2. FormalMethods FormalMethods Public

   Forked from marinajacks/FormalMethods

   This is a small project for the Verification of Model Checking

   Python

3. QWIRE QWIRE Public

   Forked from inQWIRE/QWIRE

   A quantum circuit language and formal verification tool

   Coq

4. qcircuit qcircuit Public

   Forked from CQuIC/qcircuit

   A quantum circuit drawing application

   TeX

5. SQIR SQIR Public

   Forked from inQWIRE/SQIR

   A Small Quantum Intermediate Representation

   OpenQASM

6. DenotationalSemantics DenotationalSemantics Public

   Forked from bendy/SFExtras

   The denotational semantics of a simple imperative language in the style of Software Foundations.

   Coq