Karnaugh maps solver is a web app that takes the truth table of a function as input, transposes it onto the respective Karnaugh map and finds the minimum forms SOP and POS according to the visual resolution method by Maurice Karnaugh, American physicist and mathematician.
☆34Nov 18, 2024Updated last year
Alternatives and similar repositories for Karnaugh-Map-Solver
Users that are interested in Karnaugh-Map-Solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A mime-type sniffer that checks more than just extensions☆13Aug 22, 2022Updated 3 years ago
- A Tcl/Tk IDE☆16Nov 20, 2021Updated 4 years ago
- an experimental reactive web development framework☆20Apr 7, 2026Updated last month
- A jQuery plugin for webRTC☆62May 9, 2012Updated 14 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Crossterm Windows API Abstractions☆17Aug 5, 2024Updated last year
- A companion list of tools for my commonplacing☆20Apr 27, 2026Updated 3 weeks ago
- a simearth clone☆14Jun 25, 2020Updated 5 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- Arduino Library for communicating and programming a Meanwell RPB-1600 charger over PMbus☆12May 15, 2023Updated 3 years ago
- The holy grail of preprocessor metaprogramming : (actually) turing complete macros☆10Mar 11, 2022Updated 4 years ago
- msx game development library ubox example☆11Apr 26, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Qt C++ and Lepton Based K-Map solver for unlimited variables☆11Sep 18, 2016Updated 9 years ago
- FPU Double VHDL☆12Jul 17, 2014Updated 11 years ago
- learn llvm☆15Oct 26, 2020Updated 5 years ago
- Converting latex、mathml or omml string to math object of docx.js☆16Sep 2, 2024Updated last year
- VHDL source file project for a hardware in the loop simulation of a permanen magnet motor with field oriented control design☆12Nov 22, 2022Updated 3 years ago
- A KD-Tree in C++☆10Nov 3, 2017Updated 8 years ago
- Why you should learn about Global Storage Databases☆24May 14, 2021Updated 5 years ago
- Portable corewar system with ICWS'94 extensions☆16Mar 21, 2018Updated 8 years ago
- Zero dependency Model generator based on the method of least squares. Written in plain JS.☆11Apr 1, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Window Engine is a lightweight and touchscreen friendly zero-dependency JavaScript library for draggable windows.☆25Feb 25, 2026Updated 2 months ago
- Parse DBC file and Generate arxml file for Vector Davinci Development software☆11Oct 10, 2022Updated 3 years ago
- A macro library for C preprocessor metaprogramming☆14Mar 13, 2017Updated 9 years ago
- Closure function implementation for C☆20May 28, 2017Updated 8 years ago
- ☆18May 9, 2017Updated 9 years ago
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆14Sep 17, 2021Updated 4 years ago
- Chaining Assertion for Unity Test Framework☆14Jan 8, 2024Updated 2 years ago
- sparse LU factorization and update☆17Feb 15, 2024Updated 2 years ago
- Empirical Time and Memory Complexity Estimation☆11Jun 17, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago
- ☆10Jan 31, 2022Updated 4 years ago
- 基于树莓派的智能机器人☆17Oct 2, 2017Updated 8 years ago
- personal diary☆14Apr 28, 2026Updated 3 weeks ago
- qemu versatilepb and virt AUTOSAR demo☆15Updated this week
- a freestanding C string formatting library☆13Feb 26, 2026Updated 2 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago