msoeken

Researcher in the areas of logic synthesis, quantum compilation, and formal verification.

@microsoftSwitzerland

Pinned Repositories

alice
C++ command shell library
Language:C++51 8 711
cirkit
A circuit toolkit
Language:C++96 19 4638
cirkit-addon-plim
Language:C++2 3 10
header-only-sat
Some scripts to generate header-only versions of C++ SAT solvers
Language:Shell3 4 20
iwls2017-contest
IWLS 2017 programming contest
Language:Verilog1 7 21
iwls2018-contest
IWLS 2018 programming contest
Language:TeX2 7 10
kitty
C++ truth table library
Language:C++51 9 578
reversible-sota
State-of-the-art in reversible logic synthesis
Language:TeX13 5 01
revkit
RevKit: Python quantum compilation library and framework
Language:C++24 5 35

msoeken's Repositories

msoeken/cirkit
A circuit toolkit
Language:C++96 19 4638
msoeken/alice
C++ command shell library
Language:C++51 8 711
msoeken/kitty
C++ truth table library
Language:C++51 9 578
msoeken/revkit
RevKit: Python quantum compilation library and framework
Language:C++24 5 35
msoeken/header-only-sat
Some scripts to generate header-only versions of C++ SAT solvers
Language:Shell3 4 20
msoeken/oebf
The On-Line Encyclopedia of Boolean Functions
Language:HTML2 3 0
msoeken/pat
C++ dancing links solver
Language:C++2 3 02
msoeken/msoeken.github.io
Language:HTML1 3 01
msoeken/qiskit-addon-revkit
RevKit oracles for Qiskit Aqua
Language:Python1 3 0
msoeken/smp-qsharp
Q# examples for SmP talk
Language:C#1 3 0
msoeken/azure-cli-extensions
Public Repository for Extensions of Azure CLI.
Language:Python1 0
msoeken/cirkit-nuget
CirKit NuGet package for .NET bindings
Language:C#3 0
msoeken/dotnet-api-docs
.NET API reference documentation (.NET Framework, .NET Core, .NET Standard and Xamarin)
Language:C#2 0
msoeken/hriener.github.io
Language:HTML3 0
msoeken/lorina
C++ parsing library for simple formats used in logic synthesis and formal verification
Language:C++3 0
msoeken/mqt-problemsolver
MQT ProblemSolver - A MQT tool for Solving Problems Using Quantum Computing
Language:Python0 0
msoeken/qir-runner
QIR bytecode runner to assist with QIR development and validation
Language:Rust1 0
msoeken/qpic
Creating quantum circuit diagrams in TikZ
Language:Python3 0
msoeken/qram
Library for Q# implementing various qRAM proposals
Language:Q#2 0
msoeken/qsharp
Q# for Rust
Language:Rust3 4
msoeken/qsharp-compiler
Q# compiler, command line tool, and Q# language server
Language:C#2 0
msoeken/qsharp-runtime
Runtime components for Q#
Language:C#2 0
msoeken/Quantum
Microsoft Quantum Development Kit Samples and Libraries
Language:C#3 0
msoeken/QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
Language:Jupyter Notebook2 0
msoeken/QuantumLibraries
Q# libraries for the Quantum Development Kit
Language:C#3 0
msoeken/sat
SAT solvers
Language:Rust3 0
msoeken/serde-rs.github.io
Language:HTML2 0
msoeken/tweedledum
C++17 Library for writing, manipulating, and optimizing quantum circuits
Language:C++3 0
msoeken/winforms
Windows Forms is a .NET Core UI framework for building Windows desktop applications.
Language:C#2 0
msoeken/z3
The Z3 Theorem Prover
Language:C++3 0