rakesh-iiest Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

abc-alanmi-

ABC TOOLS

chisel3

Chisel 3

cirkit

A circuit toolkit

cryptominisat

An advanced SAT Solver

firrtl

Flexible Intermediate Representation for RTL

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

iverilog

Icarus Verilog

liquid

The Language-Integrated Quantum Operations (LIQUi|>) Simulator

ms-steiner-puw

An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.

pebble

projectq

ProjectQ: An open source software framework for quantum computing

pyquil

A Python library for quantum programming using Quil.

qcircuit

A quantum circuit drawing application

qcviewer

A visual quantum circuit design and simulation tool.

qiskit-sdk-py

Python tools for running quantum information experiments

qpic

Creating quantum circuit diagrams in TikZ

qutip

QuTiP: Quantum Toolbox in Python

reversible-sota

State-of-the-art in reversible logic synthesis

scaffcc

Compilation, analysis and optimization framework for the Scaffold quantum programming language.

tqec

wirerecycle

yosys

Yosys Open SYnthesis Suite