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:
- Hardware Implementation of Advanced Encryption Standard Algorithm in VHDL☆19Jan 4, 2020Updated 6 years ago
- A Tcl/Tk IDE☆15Nov 20, 2021Updated 4 years ago
- Mathy.js is a simple formula parsing library☆21Sep 9, 2013Updated 12 years ago
- A jQuery plugin for webRTC☆62May 9, 2012Updated 13 years ago
- VP8L (Lossless WebP) Decoder☆15Jun 14, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Apr 23, 2026Updated last week
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- DOS Civilization (1991) EXE Unpacker☆10Mar 7, 2025Updated last year
- a simearth clone☆14Jun 25, 2020Updated 5 years ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- ☆33Aug 12, 2014Updated 11 years ago
- The holy grail of preprocessor metaprogramming : (actually) turing complete macros☆10Mar 11, 2022Updated 4 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ODE system solver using dG(q), time-discontinuous Galerkin with Lobatto basis. Py3.11-3.14.☆16Apr 17, 2026Updated 2 weeks ago
- FPU Double VHDL☆12Jul 17, 2014Updated 11 years ago
- learn llvm☆15Oct 26, 2020Updated 5 years ago
- VHDL source file project for a hardware in the loop simulation of a permanen magnet motor with field oriented control design☆11Nov 22, 2022Updated 3 years ago
- Arxml Editor, using Eclipse XML Editor☆13Jun 14, 2018Updated 7 years ago
- A KD-Tree in C++☆10Nov 3, 2017Updated 8 years ago
- A Node.js powered HTTP network monitor☆14Aug 6, 2015Updated 10 years ago
- 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.
- Parse DBC file and Generate arxml file for Vector Davinci Development software☆11Oct 10, 2022Updated 3 years ago
- ~~sandbox for making Pygame CPython apps on WebAssembly, and also run CPython testsuite in browser~~ use Pygbag instead on https://github…☆14Sep 2, 2022Updated 3 years ago
- ☆18May 9, 2017Updated 8 years ago
- A 7DRL Project, using Emscripten to create a simple roguelike system in C++ that runs in the browser.☆21Jan 13, 2018Updated 8 years ago
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 5 years ago
- 一个曾经使用过的rtsp服务，可以运行于linux系统下，实际测试过。☆14Sep 10, 2016Updated 9 years ago
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago
- sparse LU factorization and update☆17Feb 15, 2024Updated 2 years ago
- 基于树莓派的智能机器人☆17Oct 2, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- xsd2cc - a Xml Schema code generator, which converting a .xsd file to C++ classes.☆16Nov 7, 2017Updated 8 years ago
- Write UTF-8 math with Latex syntax☆19Feb 25, 2026Updated 2 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- ☆17Sep 23, 2016Updated 9 years ago
- An example to illustrate how libffi cast a closure to a pointer to function.☆16Jul 30, 2021Updated 4 years ago
- is a tiny FEM framework for C++.☆11Jan 20, 2021Updated 5 years ago
- ☆15Dec 9, 2015Updated 10 years ago