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:
- 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
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- FPU Double VHDL☆12Jul 17, 2014Updated 12 years ago
- Converting latex、mathml or omml string to math object of docx.js☆16Sep 2, 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.
- DOS Civilization (1991) EXE Unpacker☆10Mar 7, 2025Updated last year
- 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++☆14May 1, 2026Updated 3 months ago
- Geometry library containing the essentials (2d & 3D points/vectors, meshes, B-splines)☆13May 21, 2025Updated last year
- ☆17Sep 26, 2022Updated 3 years ago
- ☆10Jan 31, 2022Updated 4 years ago
- VHDL source file project for a hardware in the loop simulation of a permanen magnet motor with field oriented control design☆13Nov 22, 2022Updated 3 years ago
- 浙江大学健康打卡自动打卡脚本，支持 Node.js 本地运行和 GitHub Action 定时运行。☆20Jan 2, 2023Updated 3 years ago
- A music synthesizer written in Ruby☆19Sep 10, 2008Updated 17 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.
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- A Node.js powered HTTP network monitor☆15Aug 6, 2015Updated 11 years ago
- RAII for C☆13Jan 16, 2022Updated 4 years ago
- 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
- Closure function implementation for C☆20May 28, 2017Updated 9 years ago
- Demake of TF2 in ASCII graphics with online multiplayer☆12Dec 15, 2022Updated 3 years ago
- Summer Framework 是工作中总结的一套可以快速进行Android开发的框架，旨在快速构建Android应用，Summer集成通用的工具集、消除重复的工作量，代码实现优雅、干净，具有一定的参考性☆14Oct 27, 2014Updated 11 years ago
- Project in course “FPGA Design for Communication Systems”☆16Dec 30, 2023Updated 2 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.
- 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
- Example client application for web services furnished by OilReporter.org☆18Jun 1, 2010Updated 16 years ago
- ☆18May 9, 2017Updated 9 years ago
- Chaining Assertion for Unity Test Framework☆14Jan 8, 2024Updated 2 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
- qemu versatilepb and virt AUTOSAR demo☆15Jun 1, 2026Updated 2 months ago
- Apache Tcl Rivet☆35Aug 2, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 基于树莓派的智能机器人☆17Oct 2, 2017Updated 8 years ago
- a freestanding C string formatting library☆14Feb 26, 2026Updated 5 months ago
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆15Sep 17, 2021Updated 4 years ago
- Personal website☆10Aug 3, 2026Updated last week
- A 2d top-down turn-based strategy terminal game written from scratch in C.☆12Dec 17, 2023Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- LIN Implementation☆10Jul 6, 2016Updated 10 years ago