Skip to content
@LambdaQs

The Essence of Q#

Popular repositories

  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

    OCaml 0 MIT 0 8 0 Updated Sep 8, 2023
  • lambda-qs Public

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

    Coq 7 MIT 1 0 1 Updated Feb 14, 2023
  • core Public

    λ-Q# core for experimentation

    Makefile 0 MIT 0 0 0 Updated Jan 12, 2023
  • qsharp-samples Public

    Example Q# programs

    Q# 1 MIT 0 0 0 Updated Dec 20, 2022

Top languages

Loading…

Most used topics

Loading…