Popular repositories Loading

1. lambda-qs lambda-qs Public

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

   Coq 8 1

2. qsharp-samples qsharp-samples Public

   Example Q# programs

   Q# 2

3. arrays arrays Public

   An λ-Q# extension for safe qubit arrays

   OCaml 1

4. core core Public

   λ-Q# core for experimentation

   Makefile