Pinned Loading

1. LambdaQs/arrays LambdaQs/arrays Public

   An λ-Q# extension for safe qubit arrays

   OCaml 1

2. LambdaQs/lambda-qs LambdaQs/lambda-qs Public

   Formalization of λ-Q#, a core calculus for Q# programming language

   Coq 8 1

3. inQWIRE/openqasm-parser inQWIRE/openqasm-parser Public

   OCaml library for manipulating OpenQASM Abstract Syntax Tree

   OCaml 9 3

4. QuantumPL/bib QuantumPL/bib Public

   A Quantum Programming Languages and Verification Literature Bibliography

   TeX 8