boolean-expression
There are 108 repositories under boolean-expression topic.
mariuszgromada/MathParser.org-mXparser
Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more. Features: rich built-in library of math functions, operators, constants. Flexible in user-defined arguments, functions. Expressions provided as plain text. Easy to use. Well documented.
welchbj/tt
a Pythonic toolkit for working with Boolean expressions
m-peko/booleval
Header-only C++17 library for evaluating logical expressions.
aboutcode-org/license-expression
Utility library to parse, normalize and compare License expressions for Python using a boolean logic engine. For expressions using SPDX or any other license id scheme.
ympons/expreso
:coffee: A boolean expression parser and evaluator in Elixir.
miroiu/string-math
Evaluates a math expression from a string. Supports variables and custom operators.
int-main/Quine-McCluskey
Implementation of Quine McCluskey algorithm in Python 3
cch123/elastic-rs
comvert bool expression to elasticsearch DSL in rust
dave/brenda
Brenda is a boolean expression solver for Go AST
tangentstorm/bex
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
Ashwin-op/CMOS_Circuit_Generator
Converting Boolean expressions to CMOS Circuits
PhonePe/mustang
Search engine for Rules - Indexing boolean expressions at scale
tomc128/boolean-expression-parser
Boolean expression parser
chakravala/DeMorgan.jl
Classical logic truth table magma algebra
MaxWolf-01/TruthTabler
Solves boolean expressions and simplifies them, draws logic-circuits and constructs circuits and boolean terms from truth-table values and converts boolean expressions to NAND and NOR.
sidhant92/bool-parser-java
A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Java
glenn-sun/logic-circuit
A Python module to simulate logical circuits/graphs.
everhart/shasat
Reductions of SHA family hash functions to SAT.
healeycodes/coolrule
🧮 Boolean expression evaluation engine. A Rust port of boolrule.
miikka/boolean-simplifier
Simple boolean expression simplifier
sidhant92/bool-parser-go
A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Go
alevkov/Karnau
A puzzle game for iOS.
Devwarlt/calclog
Boolean calculator written in C# that implements Djikstra's Shunting Yard algorithm and RPN (reverse polish notation).
KhaledHosseini/propositional-logic
propositional logic evaluator that creates truth tables for propositional expressions, written in rust.
matt-snider/ctags-query
A tool to query ctags file with simple boolean expressions.
Alpenbelieve/JavaBDD_Application
JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
felixstrobel/truth-table
Simplify logical analysis with our easy-to-use truth table generator. Quickly evaluate your Boolean expressions and view the corresponding truth table in real-time. A handy tool for students and professionals.
RipperJ/VerilogExpr2NAND-NOR
Logic Expression Compiler, with Logic Minimization, to NAND/NOR Implementation
ShaanCoding/Boolean-Expression-Solver
A simple boolean expression validator, creating truth tables for boolean expressions
SubZer0811/BE2SIM
This repository contains a python script that converts a Boolean Expression to a .SIM file (circuit netlist description).
zhimbura/boolean-expression-simplify
Multiplatform library witch can make the expression easier
Gadzhovski/Boolean_Algebra_Post-fix_Notation_Calculator
Boolean Algebra Post-fix Notation Calculator
lamg/predicate
Parsing, evaluating and textually representing predicates
LoicKonan/Logic-Design
Logic Design.
marcbachmann/validate-scope
Checks whether a subset is contained in a list of oauth scopes. Uses code generation to reach better performance.
Ziyadelbanna/Booleator
:calling: Simplifies boolean expressions