Skip to content

Popular repositories Loading

  1. lambda-qs lambda-qs Public

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

    Coq 7 1

  2. qsharp-samples qsharp-samples Public

    Example Q# programs

    Q# 1

  3. core core Public

    λ-Q# core for experimentation

    Makefile

  4. arrays arrays Public

    An λ-Q# extension for safe qubit arrays

    OCaml

Repositories

Showing 4 of 4 repositories
  • arrays Public

    An λ-Q# extension for safe qubit arrays

    LambdaQs/arrays’s past year of commit activity
    OCaml 0 MIT 0 8 0 Updated Sep 8, 2023
  • lambda-qs Public

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

    LambdaQs/lambda-qs’s past year of commit activity
    Coq 7 MIT 1 0 1 Updated Feb 14, 2023
  • core Public

    λ-Q# core for experimentation

    LambdaQs/core’s past year of commit activity
    Makefile 0 MIT 0 0 0 Updated Jan 12, 2023
  • qsharp-samples Public

    Example Q# programs

    LambdaQs/qsharp-samples’s past year of commit activity
    Q# 1 MIT 0 0 0 Updated Dec 20, 2022

Top languages

Loading…

Most used topics

Loading…