msoeken

cirkit

A circuit toolkit

alice

C++ command shell library

kitty

C++ truth table library

revkit

RevKit: Python quantum compilation library and framework

header-only-sat

Some scripts to generate header-only versions of C++ SAT solvers

oebf

The On-Line Encyclopedia of Boolean Functions

pat

C++ dancing links solver

msoeken.github.io

qiskit-addon-revkit

RevKit oracles for Qiskit Aqua

smp-qsharp

Q# examples for SmP talk

aqua

Aqua provides a library and tools to build applications for Noisy Intermediate-Scale Quantum (NISQ) computers.

azure-cli-extensions

Public Repository for Extensions of Azure CLI.

cirkit-nuget

CirKit NuGet package for .NET bindings

dotnet-api-docs

.NET API reference documentation (.NET Framework, .NET Core, .NET Standard and Xamarin)

hriener.github.io

lorina

C++ parsing library for simple formats used in logic synthesis and formal verification

qir-runner

QIR bytecode runner to assist with QIR development and validation

qpic

Creating quantum circuit diagrams in TikZ

qram

Library for Q# implementing various qRAM proposals

qsharp

Q# for Rust

qsharp-compiler

Q# compiler, command line tool, and Q# language server

qsharp-runtime

Runtime components for Q#

Quantum

Microsoft Quantum Development Kit Samples and Libraries

QuantumKatas

Tutorials and programming exercises for learning Q# and quantum computing

QuantumLibraries

Q# libraries for the Quantum Development Kit

sat

SAT solvers

serde-rs.github.io

tweedledum

C++17 Library for writing, manipulating, and optimizing quantum circuits

winforms

Windows Forms is a .NET Core UI framework for building Windows desktop applications.

z3

The Z3 Theorem Prover