Alternatives and similar repositories for Quine-McCluskey

Users that are interested in Quine-McCluskey are comparing it to the libraries listed below

• russellmcc / eurorack_kicad

  View on GitHub
  ☆19Jun 8, 2017Updated 8 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• Entropy-xcy / sns

  View on GitHub
  ☆20Oct 27, 2022Updated 3 years ago
• OSCC-Project / iMap

  View on GitHub
  Logic optimization and technology mapping tool.
  ☆20Oct 12, 2023Updated 2 years ago
• dreylago / logicmin

  View on GitHub
  Logic Minimization in Python
  ☆26Mar 23, 2024Updated last year
• krzhu / abc_py

  View on GitHub
  Simple Python interface for ABC
  ☆27May 19, 2023Updated 2 years ago
• aebeljs / VeRLPy

  View on GitHub
  VeRLPy is an open-source python library developed to improve the digital hardware verification process by using Reinforcement Learning (R…
  ☆30Oct 5, 2022Updated 3 years ago
• Chenghao-Yang / awesome-ml4ls

  View on GitHub
  Awesome machine learning for logic synthesis
  ☆30Sep 21, 2022Updated 3 years ago
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• tzanis-anevlavis / cis2m

  View on GitHub
  Controlled Invariant Sets in Two Moves
  ☆14Dec 21, 2021Updated 4 years ago
• dwt98 / kb25

  View on GitHub
  MIDI Keyboard sample sketch for K-25m.
  ☆10Dec 2, 2015Updated 10 years ago
• iscar-ucm / xdevs

  View on GitHub
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆14Nov 14, 2025Updated 3 months ago
• Idein / actcast-support

  View on GitHub
  ☆13Dec 3, 2020Updated 5 years ago
• SmnTin / lincheck

  View on GitHub
  A linearizability checker for concurrent data structures
  ☆12Aug 3, 2023Updated 2 years ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• kinoshita-lab / MIDI-UART-interface-san

  View on GitHub
  Handy interface PCB for MIDI and microcontrollers.
  ☆11Mar 18, 2025Updated 10 months ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• robszy / ps2usb

  View on GitHub
  PS2 - USB translator for mouse and keyboard on ATMEGA-328p atmel uP
  ☆13May 13, 2015Updated 10 years ago
• Bowen1911 / Rush-for-classes

  View on GitHub
  python爬虫——抢课原理
  ☆11Dec 15, 2020Updated 5 years ago
• yaohsiaopid / rtl2uspec

  View on GitHub
  ☆11Jul 1, 2025Updated 7 months ago
• hypertrons / hypertrons-crx-website

  View on GitHub
  Official Website of Hypercrx
  ☆13Jan 8, 2025Updated last year
• CodethinkLabs / mt3620-m4-drivers

  View on GitHub
  Set of drivers for the M4 Real Time cores on the Azure Sphere MT3620
  ☆11Apr 28, 2022Updated 3 years ago
• ZiyangYE / LicheeTang20K_DDR_Test

  View on GitHub
  The DDR Test Firmware for LicheeTang20K.
  ☆17Jun 20, 2023Updated 2 years ago
• clothbot / Pyvams

  View on GitHub
  Python Verilog-AMS Parser
  ☆12Oct 13, 2015Updated 10 years ago
• nobrin / omron-2jcie-bu01

  View on GitHub
  Module for OMRON Environment Sensor 2JCIE-BU01
  ☆11Sep 25, 2020Updated 5 years ago
• mishmashclone / wcventure-FuzzingPaper

  View on GitHub
  https://github.com/wcventure/FuzzingPaper
  ☆10Jan 15, 2022Updated 4 years ago
• gokhankici / iodine

  View on GitHub
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆15Mar 29, 2021Updated 4 years ago
• ByronHsu / FRAIGs

  View on GitHub
  C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.
  ☆10Oct 21, 2020Updated 5 years ago
• golems / motion-grammar-kit

  View on GitHub
  Formal Language Tools for Robots
  ☆15Jun 29, 2016Updated 9 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• ngiambla / libmem

  View on GitHub
  ☆10Jan 15, 2023Updated 3 years ago
• th3r00t / phatgpt

  View on GitHub
  Simple terminal interface for chatgpt
  ☆10Dec 6, 2022Updated 3 years ago
• ShonTaware / RISC-V_Core_4_Stage

  View on GitHub
  RISCV MYTH 4 stage pipelined core designed using TL-Verilog and supports RV32I base integer instruction set
  ☆15Jan 14, 2021Updated 5 years ago
• nklein / draw

  View on GitHub
  Common Lisp front-end to CL-PDF and Vecto
  ☆12Apr 30, 2022Updated 3 years ago
• haimengzhao / g-qpca

  View on GitHub
  Quantum Principal Component Analysis (QPCA) as a generative model
  ☆14Apr 5, 2022Updated 3 years ago
• anujkumarthakur / Rust-tutorial

  View on GitHub
  Introduction Note: This edition of the book is the same as The Rust Programming Language available in print and ebook format from No…
  ☆14Oct 30, 2019Updated 6 years ago
• fm-polimi / zot

  View on GitHub
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Jan 11, 2021Updated 5 years ago