Pinned Loading

1. SQIR SQIR Public

   Forked from inQWIRE/SQIR

   A Small Quantum Intermediate Representation

   Coq

2. euler euler Public

   Asymptotic Upper Bound of Euler Totient Function φ

   Coq 1 1

3. Giallar Giallar Public

   Artifact for the PLDI'21 Paper Giallar: Push-button Verification for the Qiskit Quantum Compiler

   OpenQASM 8 1

4. VeriGu/VRM VeriGu/VRM Public

   Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware

   Shell 7 2

5. Bifrost Bifrost Public

   Python 1