msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.
@microsoftSwitzerland
Pinned Repositories
alice
C++ command shell library
cirkit
A circuit toolkit
cirkit-addon-plim
header-only-sat
Some scripts to generate header-only versions of C++ SAT solvers
iwls2017-contest
IWLS 2017 programming contest
iwls2018-contest
IWLS 2018 programming contest
kitty
C++ truth table library
reversible-sota
State-of-the-art in reversible logic synthesis
revkit
RevKit: Python quantum compilation library and framework
msoeken's Repositories
msoeken/reversible-sota
State-of-the-art in reversible logic synthesis
msoeken/cirkit-addon-plim
msoeken/iwls2018-contest
IWLS 2018 programming contest
msoeken/cirkit-addon-igraph
CirKit functions with igraph dependency
msoeken/CLI11
Command line parser for C++11
msoeken/cudd
Mirror of ABC (see http://vlsi.colorado.edu/~fabio/)
msoeken/cudd-1
CUDD with CMake
msoeken/dependencies
msoeken/iwls2017-contest
IWLS 2017 programming contest
msoeken/orpsoc-cores
Core description files for ORPSoCv3
msoeken/ProjectQ
ProjectQ: An open source software framework for quantum computing
msoeken/abc
Mirror of ABC (https://bitbucket.org/alanmi/abc/)
msoeken/cirkit-scripts
Some example CirKit scripts
msoeken/cirkit_addon_random
CirKit add-on from the tutorial
msoeken/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.
msoeken/cutetime
A happy time display
msoeken/docker
Docker projects for logic synthesis
msoeken/docs
Conan.io documentation at Read the Docs
msoeken/dormouse
Parsing Python code into Boolean expressions
msoeken/ecore-suite
A collection of Ecore models
msoeken/homebrew-core
🍻 Default formulae for the missing package manager for macOS
msoeken/homebrew-lstools
Logic synthesis formulae for Homebrew package manager
msoeken/lhrs-experiments
Experiments for LHRS framework
msoeken/metaSMT
msoeken/minisat
A minimalistic and high-performance SAT solver
msoeken/orpsoc
OpenRISC Reference Platform System-On-Chip
msoeken/percy
An advanced header-only exact synthesis library
msoeken/pybind11
Seamless operability between C++11 and Python
msoeken/pyquil
A Python library for quantum programming using Quil.
msoeken/qiskit-sdk-py
Quantum Software Development Kit for writing quantum computing experiments, programs, and applications.