Search Results for "boolean logic minimizer"
Sort By:
Showing 33 open source projects for "boolean logic minimizer"
View related business solutions-
The AI-powered unified PSA-RMM platform for modern MSPs.SuperOps.ai is the only PSA-RMM platform powered by intelligent automation and thoughtfully crafted for the new-age MSP. The platform also helps MSPs manage their projects, clients, and IT documents from a single place.
-
Get full visibility and control over your tasks and projects with Wrike.Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
-
1
YARA
The pattern matching swiss knife for malware researchers
...With YARA you can create descriptions of malware families (or whatever you want to describe) based on textual or binary patterns. Each description, a.k.a rule, consists of a set of strings and a boolean expression which determines its logic. YARA is multi-platform, running on Windows, Linux and Mac OS X, and can be used through its command-line interface or from your own Python scripts with the yara-python extension. YARA-CI may be a useful addition to your toolbelt. This is GitHub application that provides continuous testing for your rules, helping you to identify common mistakes and false positives. ... -
2
Pundit
Minimal authorization through OO design and pure Ruby classes
Pundit (varvet/pundit) is a Ruby gem that provides a simple and effective framework for adding authorization logic to Rails (or other Ruby) applications. It centers around policy classes—one policy per model or resource—that define what actions a given user is permitted to perform (e.g., show?, update?, destroy?). Each policy method returns a boolean, and can be structured using combinators or shared logic to keep things DRY. In controllers and views, Pundit provides helpers like authorize, policy_scope, and policy to enforce those rules cleanly and consistently. ... -
3
Fully Homomorphic Encryption
An FHE compiler for C++
...At its core is a “transpiler” that converts ordinary functions (typically written in a restricted subset of C++ or similar) into FHE circuits, plus backends that execute those circuits with different FHE libraries. The workflow usually mirrors normal software development: write and test a cleartext implementation, run a simulator to validate logic and performance characteristics, then compile to an encrypted form to run with real FHE parameters. The project includes benchmarking harnesses, examples, and tutorials that demystify parameter selection, gate costs, and latency/throughput trade-offs. Multiple runtimes and backends are supported so teams can choose Boolean or integer schemes depending on accuracy and speed needs. -
4
waymap
Waymap is a fast and optimized web vulnerability scanner
...It effectively identifies vulnerabilities by testing against a variety of payloads. Features Overview Latest Update v5.2.1 New Sql Injection Scanning Module High Accuracy And Less False Positive Access it using: --scan sqli v5.3.1 Added Boolean Based Sqli Testing (OWN LOGIC) High Accuracy, Can Give False Positive Sometimes Access it using: --scan sqli Waymap Features Vulnerability Scanning Modules: SQL Injection (SQLi) Command Injection Server-Side Template Injection (SSTI) Cross-Site Scripting (XSS) with filter bypass payload testing Local File Inclusion (LFI) Open Redirect Carriage Return and Line Feed (CRLF) Cross-Origin Resource Sharing (CORS) Critical and High-Risk Scan Profiles using CVE exploits (32 CVEs: WordPress - 19, Drupal - 4, Joomla - 7, Generic/Others - 2) -
The AI workplace management platformBy combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
-
5
Classnames
A simple javascript utility for conditionally joining classNames
Classnames is a minimal JavaScript utility that helps you construct CSS class strings based on conditional logic. Instead of manually concatenating strings, developers can pass any combination of strings, arrays, or objects, and the library will output a clean, space-separated class list. When you provide an object, the keys represent class names and the boolean values determine whether each class should be included in the final string. This reduces boilerplate and the risk of typos or stray spaces, especially in React, Vue, or other component-based UIs where dynamic styling is common. ... -
6
mXparser - Math Parser Java C# Library
A flexible mathematical expressions parser for JAVA, Android, C# .NET
mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin -
7
Strategems
Quantitative systematic trading strategy development and backtesting
Strategems is a Julia package aimed at simplifying and streamlining the process of developing, testing, and optimizing algorithmic/systematic trading strategies. This package is inspired in large part by the quantstrat1,2 package in R, adopting a similar general structure to the building blocks that make up a strategy. Given the highly iterative nature of event-driven trading strategy development, Julia's high-performance design (particularly in the context of loops) and straightforward... -
8
C++ Math Expression Parser
C++ Math Expression Parser Library
The C++ Mathematical Expression Toolkit Library (ExprTk) is a simple to use, easy to integrate and extremely efficient run-time mathematical expression parser and evaluation engine. ExprTk supports numerous forms of functional, logical and vector processing semantics and is very easily extendible. Download http://partow.net/programming/exprtk/index.html -
9
React Values
A set of tiny React components for handling state with render props
react-values is a lightweight React utility library that gives developers a set of tiny, composable components for managing state with a render-props API, so you don’t need to rewrite the same state logic over and over in your UI components. It exposes helpful state transforms like toggle, increment, filter, and native methods matching JavaScript value types (Array, Boolean, Number, Object, String, Map, Set, Date), which makes it easier to implement common behaviors like toggles, counters, and filtering right out of the box. Instead of forcing you into a specific global state system or hooks-only interface, it uses render props to keep components flexible and visible in the tree, enabling controlled and uncontrolled use cases alongside shared state patterns. ... -
Data management solutions for confident marketingVerify, deduplicate, manipulate, and assign records automatically to keep your CRM data accurate, complete, and ready for business.
-
10
FormSchema Native
Generate a form using JSON Schema and Vue.js
Vue component form based on JSON Schema and Native HTML. -
11
E2F1Map
Logic based simulations of E2F1 regulatory core for disease signatures
We provide comprehensive molecular interaction map of E2F1 transcription factor in tumor progression and metastasis. We provide various scripts, boolean based models to identify molecular signatures for predicting EMT phenotype in bladder and breast cancer model. -
12
Logicheck
An interactive tool to test logical structures and expressions
This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument. -
13
CQU
Decision solver for Counting Quantifiers over Unary Predicates
---------------- cqusat 1.0 ---------------- cqusat is a conbstraint solver decides the satisfiability of a set of sentences containing Counting Quantifiers over Unary predicates. It also accepts Universally quantifies sentences over unary predicates, which are presented in the form of propositional clauses (classical Boolean logic clauses). This implementation employs minisat as the SAT solver. It also emplouys COIN-OR Clp linear programming solver, and inherit from it. Given a CQUSAT instance in normal form as input, the program returns a solution, if there is one. The implemented method employs dual Simplex Algorithm with Column Generation. ... -
14
BoolCalc
Boolean Expression Evaluator with AND/XOR minimization
This is yet another boolean expression evaluator written in C/C++ with AND/XOR Sum-of-Product outputs. This is useful for projects that require heavy use of arithmetic functions, or multiplexors, where the XOR function dominates the logic expressions. There is also a similar tool with AND/OR/NOT output. -
15
Logic Calculator
A Calculator to perform logical operations
The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula -
16
Math Processor
Math Processor is a general purpose programable math engine.
The design and code of Math Processor have been explained at: http://www.codeproject.com/Articles/500327/Building-a-General-Purpose-Interpreter-Math-Engine Math Processor solves problems relating to algebra, calculus, Boolean logic, statistics, number theory, geometry, trigonometry and other allied disciplines. It supports a simple interpreted language. It also has some plotting capabilities. You can use MP as a standalone calculating engine or you can use it as a C# .dll library in your own programs. The design of MP makes it very easy to embed it in any .Net project. -
17
Fast Tabular Local Logic Minimizer
CMOS circuit minimizer using table lookup
Given a circuit described in terms of common CMOS logic gates, this is capable of minimizing logic area by repetitive examination of sets of three gates, utilizing a pre-computed lookup table of pre-optimized replacements. Reductions include XOR gates and can be extended to 3-input logic gates. -
18
manticora
ternary logic calculator
Some scripts for boolean calculation, including a parser. Ternary logic support. Everything is written in Posix Sh. -
19
The Apelon DTS (Distributed Terminology System) is an integrated set of open source components that provides comprehensive terminology services in distributed application environments.
-
20
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
21
QMC Logic Minimizer
combinational logic functions minimization
QMC Logic Minimizer is a versatile application for fast simplifying truth and reduce lines tables. This program offers a comfortable user interface for generating and minimizing of the combinational logic functions. It is unique for its possibility of minimizing several functions at the same time. This program is intended for practical digital devices constructors as well as formal scholars and academics. -
22
Quine-McCluskey minimizer
simplifies boolean functions with Quine-McCluskey algorithm
Small console application written in C to simplify boolean functions with the Quine-McCluskey algorithm -
23
Logic function minimization
Program for minimizing boolean functions not using Karnaugh K-maps
Logic function minimizer is a free open software, which is developed to solve the Digital Electronics design problems. Using Quine-McCluskey algorithm -
24
Quine-McCluskey boolean logic simplifier implemented in C++. It allows simplifying up to 32 variable input functions, including don't-care values. The program was written for digital design classes at the Poznan University of Technology (Poland).
-
25
This program minimizes boolean expressions. After combining minterms as far as possible, the program draws a chart of prime implicants which the user can easily read and manipulate to remove any remaining superfluous implicants.
