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
- Showcase for QEWD-JSdb In-Process Multi-Model Database☆12May 14, 2021Updated 5 years ago
- A Tcl/Tk IDE☆16Nov 20, 2021Updated 4 years ago
- A simple and powerful graphics engine, with a very small learning curve! Running in the console.☆10Apr 5, 2026Updated 3 months ago
- Generates C++ code from a JSON AST☆16Dec 15, 2013Updated 12 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Sources from the ZetCode's Tcl/Tk tutorial☆14Dec 9, 2020Updated 5 years ago
- Roland SC-88 System Exclusive Librarian, written as a Bash script for Linux☆16Apr 18, 2020Updated 6 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Converting latex、mathml or omml string to math object of docx.js☆16Sep 2, 2024Updated last year
- Crossterm Windows API Abstractions☆18Aug 5, 2024Updated last year
- DOS Civilization (1991) EXE Unpacker☆10Mar 7, 2025Updated last year
- Extract spline geometries from 3D ACIS Modeler .SAT files☆17May 2, 2019Updated 7 years ago
- a simearth clone☆14Jun 25, 2020Updated 6 years ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 9 years ago
- Arduino Library for communicating and programming a Meanwell RPB-1600 charger over PMbus☆12May 15, 2023Updated 3 years ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- Clockwork: A Modular Arithmetic library for C++☆13May 1, 2026Updated 2 months ago
- learn llvm☆15Oct 26, 2020Updated 5 years ago
- Geometry library containing the essentials (2d & 3D points/vectors, meshes, B-splines)☆13May 21, 2025Updated last year
- A simulator for 8051 microcontroller☆15Oct 24, 2023Updated 2 years ago
- ODE system solver using dG(q), time-discontinuous Galerkin with Lobatto basis. Py3.11-3.14.☆18Jun 28, 2026Updated 3 weeks ago
- A KD-Tree in C++☆10Nov 3, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Portable corewar system with ICWS'94 extensions☆16Mar 21, 2018Updated 8 years ago
- A music synthesizer written in Ruby☆19Sep 10, 2008Updated 17 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- plugin to generate a list of Git contributors☆16Sep 23, 2024Updated last year
- Why you should learn about Global Storage Databases☆24May 14, 2021Updated 5 years ago
- ChatGPT, embedding search, and retrieval-augmented generation for Squeak/Smalltalk☆18Jun 30, 2026Updated 3 weeks ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 2 weeks ago
- Zero dependency Model generator based on the method of least squares.☆11Jul 10, 2026Updated last week
- Parse DBC file and Generate arxml file for Vector Davinci Development software☆11Oct 10, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Closure function implementation for C☆20May 28, 2017Updated 9 years ago
- Project in course “FPGA Design for Communication Systems”☆16Dec 30, 2023Updated 2 years ago
- A research implementation of RS-S and RS-WS from Minden et al., "A recursive skeletonization factorization based on strong admissibility"…☆14Dec 15, 2018Updated 7 years ago
- ☆18May 9, 2017Updated 9 years ago
- sparse LU factorization and update☆18Feb 15, 2024Updated 2 years ago
- Arxml Editor, using Eclipse XML Editor☆13Jun 14, 2018Updated 8 years ago
- 一个曾经使用过的rtsp服务，可以运行于linux系统下，实际测试过。☆14Sep 10, 2016Updated 9 years ago