Boolean expression simplifier/minimizer
☆26Jan 24, 2023Updated 3 years ago
Alternatives and similar repositories for minbool
Users that are interested in minbool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is an example parser written in flex and bison☆12May 7, 2012Updated 14 years ago
- Scoped coloring of Windows console output☆16Mar 7, 2017Updated 9 years ago
- Automatically exported from code.google.com/p/gnuplot-cpp☆14Feb 4, 2022Updated 4 years ago
- A low-level hierarchical netlist assembler for FPGAs☆13Jul 26, 2021Updated 5 years ago
- ☆11May 17, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- CLI tool for Markdown files, offering formatting, AI-powered reviews, linting, spell checking, and link checking to streamline your Markd…☆21Jan 27, 2025Updated last year
- A live compiler diagnostics extension for Atmel Studio☆18Nov 20, 2015Updated 10 years ago
- An Interactive Binary Patching Plugin for IDA Pro☆12Aug 12, 2024Updated 2 years ago
- Constrained random stimuli generation for C++ and SystemC☆11Nov 1, 2016Updated 10 years ago
- ☆19Jan 31, 2014Updated 12 years ago
- wxAutoExcel is a wxWidgets library attempting to make Microsoft Excel automation with C++ a bit less painful.☆46Updated this week
- Simple Long Integer Math for C++☆34Jun 18, 2026Updated 4 months ago
- AArch64 assembler/disassembler support☆11Sep 7, 2017Updated 9 years ago
- Edify Checking Utility☆14Jun 12, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AVR 8bit assembler syntax definition for ST2/ST3☆20Jul 14, 2019Updated 7 years ago
- Android runtime jit binary file parser☆12Dec 20, 2017Updated 8 years ago
- PoC showing a method to hide syscalls on XNU (arm64 macOS and iOS) from static analysis☆34Oct 3, 2022Updated 4 years ago
- Vulkan frame limiter☆11Jun 19, 2024Updated 2 years ago
- A recursive descent expression parser in C. Supports variables, named functions and boolean operations.☆48Sep 8, 2013Updated 13 years ago
- ☆16Jul 15, 2025Updated last year
- ARMv7 detour function for hooking junk (no thumb support, unaligned accesses are not atomic)☆16Feb 5, 2017Updated 9 years ago
- IDAPatternSearch adds a capability of finding functions according to bit-patterns into the well-known IDA Pro disassembler based on Ghidr…☆67Sep 14, 2021Updated 5 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆29May 1, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Darwin/ARM device trees.☆18Feb 7, 2016Updated 10 years ago
- Code related to the paper "MobileMEF: Fast and Efficient Method for Multi-Exposure Fusion"☆12Dec 14, 2024Updated last year
- This repository contains the tables for issue 1464 at the upstream Proton project.☆14Nov 8, 2023Updated 2 years ago
- Structural quality analyzer for Rust. Catches drift across files and modules — IOSP violations, duplication, weak tests, layer breaks, an…☆17Sep 24, 2026Updated last month
- ☆20Apr 6, 2016Updated 10 years ago
- HockeyApp was retired and the SDKs are deprecated. Please use App Center instead.☆16Feb 22, 2018Updated 8 years ago
- VCV Rack plugin implementation of the Karplus Strong algorithm☆11Jun 17, 2019Updated 7 years ago
- A Python package for creating and solving constrained randomization problems.☆20Oct 16, 2026Updated 2 weeks ago
- A linux kernel funtions hooking module☆10May 2, 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 multi-platform runtime instrumentation and inline hooking crate.☆44Sep 18, 2026Updated last month
- ARM/THUMB disassembler☆15Aug 9, 2010Updated 16 years ago
- Free_the_Debuggers☆19Feb 7, 2015Updated 11 years ago
- Boost.org wave module☆29Oct 26, 2026Updated last week
- ☆11Aug 9, 2021Updated 5 years ago
- Concise monadic parser combinator library with separate lexer/parser phases, off-side rule and big-size input support.☆11May 25, 2026Updated 5 months ago
- 把定性投资判断变成可回测对象☆21Aug 19, 2026Updated 2 months ago