Repositories list

• arrays

  Public
  An λ-Q# extension for safe qubit arrays

  arraysqsharp

  OCaml

  •

  MIT License

  •0•0•8•0•Updated Sep 8, 2023Sep 8, 2023

• lambda-qs

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

  Coq

  •

  MIT License

  •1•7•0•1•Updated Feb 14, 2023Feb 14, 2023

• core

  Public
  λ-Q# core for experimentation

  Makefile

  •

  MIT License

  •0•0•0•0•Updated Jan 12, 2023Jan 12, 2023

• qsharp-samples

  Public
  Example Q# programs

  Q#

  •

  MIT License

  •0•1•0•0•Updated Dec 20, 2022Dec 20, 2022