msoeken Goto Github PK

abc

Mirror of ABC (https://bitbucket.org/alanmi/abc/)

alice

C++ command shell library

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

A circuit toolkit

cirkit-addon-igraph

CirKit functions with igraph dependency

cirkit-addon-plim

cirkit-nuget

CirKit NuGet package for .NET bindings

cirkit-scripts

Some example CirKit scripts

cirkit_addon_random

CirKit add-on from the tutorial

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.

cli11

Command line parser for C++11

cudd

Mirror of ABC (see http://vlsi.colorado.edu/~fabio/)

cudd-1

CUDD with CMake

cutetime

A happy time display

dependencies

docker

Docker projects for logic synthesis

docs

Conan.io documentation at Read the Docs

dormouse

Parsing Python code into Boolean expressions

dotnet-api-docs

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

ecore-suite

A collection of Ecore models

header-only-sat

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

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-lstools

Logic synthesis formulae for Homebrew package manager

hriener.github.io

iwls2017-contest

IWLS 2017 programming contest

iwls2018-contest

IWLS 2018 programming contest

kitty

C++ truth table library

lhrs-experiments

Experiments for LHRS framework

lorina

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