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 jQuery plugin for webRTC☆62May 9, 2012Updated 14 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19May 19, 2026Updated last month
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Crossterm Windows API Abstractions☆18Aug 5, 2024Updated last year
- Extract spline geometries from 3D ACIS Modeler .SAT files☆17May 2, 2019Updated 7 years ago
- 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.
- A companion list of tools for my commonplacing☆20Jun 6, 2026Updated 3 weeks ago
- 《穿越操作系统迷雾》源码☆11Jan 19, 2025Updated last year
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- ☆33Aug 12, 2014Updated 11 years ago
- The holy grail of preprocessor metaprogramming : (actually) turing complete macros☆10Mar 11, 2022Updated 4 years ago
- ☆17Sep 26, 2022Updated 3 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- ODE system solver using dG(q), time-discontinuous Galerkin with Lobatto basis. Py3.11-3.14.☆18Jun 23, 2026Updated last week
- Qt C++ and Lepton Based K-Map solver for unlimited variables☆11Sep 18, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Geometry library containing the essentials (2d & 3D points/vectors, meshes, B-splines)☆13May 21, 2025Updated last year
- 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 simulator for 8051 microcontroller☆15Oct 24, 2023Updated 2 years ago
- L4Ka::IDL4 Compiler☆18Sep 1, 2015Updated 10 years ago
- Plurimath Ruby gem☆24Updated this week
- plugin to generate a list of Git contributors☆16Sep 23, 2024Updated last year
- Zero dependency Model generator based on the method of least squares. Written in plain JS.☆11Apr 1, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- Summer Framework 是工作中总结的一套可以快速进行Android开发的框架，旨在快速构建Android应用，Summer集成通用的工具集、消除重复的工作量，代码实现优雅、干净，具有一定的参考性☆14Oct 27, 2014Updated 11 years ago
- ☆18May 9, 2017Updated 9 years ago
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆15Sep 17, 2021Updated 4 years ago
- A 7DRL Project, using Emscripten to create a simple roguelike system in C++ that runs in the browser.☆23Jan 13, 2018Updated 8 years ago
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 6 years ago
- 一个曾经使用过的rtsp服务，可以运行于linux系统下，实际测试过。☆14Sep 10, 2016Updated 9 years ago
- Chaining Assertion for Unity Test Framework☆14Jan 8, 2024Updated 2 years ago
- ☆10Jan 31, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a freestanding C string formatting library☆13Feb 26, 2026Updated 4 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- List of resources about CyberSecurity such as CTF, DFIR, Offsec, etc☆11Jun 4, 2026Updated 3 weeks ago
- is a tiny FEM framework for C++.☆11Jan 20, 2021Updated 5 years ago
- ☆15Dec 9, 2015Updated 10 years ago
- Personal website☆10Jun 20, 2026Updated last week
- A MkDocs plugin that create changelog in a page☆33Nov 22, 2023Updated 2 years ago