boolean-expression

There are 1 repository 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.
mathematical-expressions-evaluator math-parser expression-evaluator java dotnet dotnet-core dotnet-standard pcl xamarin xamarin-android xamarin-ios formula-parser c-sharp mono android boolean-expression binary-relations bitwise-operators calculus user-defined-structures
Language:C++ 907
welchbj / tt
a Pythonic toolkit for working with Boolean expressions
boolean-expression boolean-algebra boolean python satisfiability truth-table sat-solver sat transformations
Language:Python 217
m-peko / booleval
Header-only C++17 library for evaluating logical expressions.
cpp17 filter boolean-expression expression-tree recursive-descent-parser evaluation evaluator logical-operators expression expression-evaluator modern-cpp boolean-logic parser-library boolean-operations boolean-algebra header-only cpp c-plus-plus
Language:C++ 81
ympons / expreso
:coffee: A boolean expression parser and evaluator in Elixir.
parser eval elixir boolean-expression expreso lexer
Language:Elixir 67
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.
licensing boolean-expression license-expression spdx spdx-license python
Language:Python 56
int-main / Quine-McCluskey
Implementation of Quine McCluskey algorithm in Python 3
quine-mccluskey quine-mccluskey-technique quine-mccluskey-algorithm minterm prime-implicants-table minimization prime-implicants essential-prime-implicants petrick-method python boolean-expression boolean-algebra karnaugh-map function-minimization
Language:Python 52
cch123 / elastic-rs
comvert bool expression to elasticsearch DSL in rust
elastic elasticsearch dsl sql boolean-expression rust
Language:Rust 50
dave / brenda
Brenda is a boolean expression solver for Go AST
golang go ast boolean boolean-expression boolean-algebra boolean-operations boolean-formulas boolean-satisfiability
Language:Go 46
miroiu / string-math
Evaluates a math expression from a string. Supports variables and custom operators.
expression-evaluator expression-parser csharp dotnet string calculator math mathematics string-math string-calculator math-expression math-operation boolean-algebra boolean-expression
Language:C# 45
tangentstorm / bex
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
decision-diagrams boolean-expression rust-crate
Language:Rust 31
tomc128 / boolean-expression-parser
Boolean expression parser
abstract-syntax-tree boolean boolean-algebra boolean-expression logic polish-notation prefix-notation tokenization
Language:C# 10
Ashwin-op / CMOS_Circuit_Generator
Converting Boolean expressions to CMOS Circuits
boolean-expression cmos cmos-circuits python3 irsim ttable
Language:Python 9
PhonePe / mustang
Search engine for Rules - Indexing boolean expressions at scale
criteria rules boolean-expression evaluation indexer jackson json json-processor predicates rule-engine indexing-boolean-expression cnf dnf java
Language:Java 9
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.
boolean-expression boolean-logic logic-gates logic-circuit python
Language:Python 7
sidhant92 / bool-parser-java
A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Java
antlr4 boolean-expression java parsing filters rule-engine algolia elasticsearch parser arithmetic-expression
Language:Java 7
glenn-sun / logic-circuit
A Python module to simulate logical circuits/graphs.
circuit-simulator graph boolean-expression python2
Language:Python 6
everhart / shasat
Reductions of SHA family hash functions to SAT.
sat-reduction sat-solver boolean-expression boolean-operations
Language:C 5
healeycodes / coolrule
🧮 Boolean expression evaluation engine. A Rust port of boolrule.
boolean-expression evaluator pom
Language:Rust 5
miikka / boolean-simplifier
Simple boolean expression simplifier
clojure boolean-expression minimization
Language:Clojure 5
chakravala / DeMorgan.jl
Classical logic truth table magma algebra
algebra computer-algebra julia logic math mathematics truth-table truth-table-generator boolean-algebra boolean-expression boolean-logic logical-operators proof proof-assistant propositional-logic reasoning
Language:Julia 4
Devwarlt / calclog
Boolean calculator written in C# that implements Djikstra's Shunting Yard algorithm and RPN (reverse polish notation).
boolean-expression boolean-operations djikstra shunting-yard-algorithm calculator-application csharp arithmetic-expression-evaluator reverse-polish-calculator reverse-polish-notation rpn-calculator rpn dotnet
Language:C# 4
matt-snider / ctags-query
A tool to query ctags file with simple boolean expressions.
ctags search query boolean-expression parse
Language:Rust 4
sidhant92 / bool-parser-go
A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Go
antlr4 go golang parser rule-engine boolean-expression grammar algolia elasticsearch parsing arithmetic-expression
Language:Go 4
alevkov / Karnau
A puzzle game for iOS.
puzzle-game logic-gates logic-design ios ios-app swift-3 cocoa boolean-expression boolean-algebra karnaugh-map-simplifier ios11 ios10 ios-sdk logic logic-game puzzle-solver
Language:Swift 3
Alpenbelieve / JavaBDD_Application
JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
javabdd boolean-expression ctl
Language:HTML 3
RipperJ / VerilogExpr2NAND-NOR
Logic Expression Compiler, with Logic Minimization, to NAND/NOR Implementation
compiler lex logic-minimization nand nor ply pyeda verilog vivado-simulator yacc boolean-expression espresso simulation xsim
Language:Python 3
ShaanCoding / Boolean-Expression-Solver
A simple boolean expression validator, creating truth tables for boolean expressions
wpf boolean-algebra boolean-expression postfix-evaluation truth-table truth-table-generator csharp
Language:C# 3
SubZer0811 / BE2SIM
This repository contains a python script that converts a Boolean Expression to a .SIM file (circuit netlist description).
boolean-expression postfix circuit-netlist-description netlist irsim sim-file
Language:Python 3
zhimbura / boolean-expression-simplify
Multiplatform library witch can make the expression easier
boolean-algebra boolean-expression boolean-logic
Language:Kotlin 3
blackbishop313 / ks-boolean-expression
KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.
karnaugh-map java boolean-expression boolean-formulas karnaugh-map-simplifier
Language:Java 2
Gadzhovski / Boolean_Algebra_Post-fix_Notation_Calculator
Boolean Algebra Post-fix Notation Calculator
boolean-algebra boolean-expression calculator
Language:Yacc 2
lamg / predicate
Parsing, evaluating and textually representing predicates
boolean-expression evaluation parsing predicates
Language:Go 2
LoicKonan / Logic-Design
Logic Design.
logic-gates boolean-algebra boolean-expression vhdl quartus2
Language:VHDL 2
marcbachmann / validate-scope
Checks whether a subset is contained in a list of oauth scopes. Uses code generation to reach better performance.
scope oauth validation boolean-expression jwt subset
Language:JavaScript 2
logi.js
Aniny21 / logi.js
logi.js is a JavaScript library for working with Boolean algebra, logical expressions, truth tables, the Quine-McCluskey algorithm, timing diagrams, and more.
boolean-algebra boolean-expression logical-operators quine-mccluskey quine-mccluskey-algorithm truth-table timing-diagram
Language:TypeScript 1
reycuba0918 / Boolean-Algebra
A Python library designed for performing Boolean arithmetic. It includes classes for, evaluating Boolean constant expressions and generating truth tables from a given Boolean expression.
boolean boolean-algebra boolean-expression boolean-logic boolean-operations
Language:Python 1

boolean-expression

mariuszgromada / MathParser.org-mXparser

welchbj / tt

m-peko / booleval

ympons / expreso

aboutcode-org / license-expression

int-main / Quine-McCluskey

cch123 / elastic-rs

dave / brenda

miroiu / string-math

tangentstorm / bex

tomc128 / boolean-expression-parser

Ashwin-op / CMOS_Circuit_Generator

PhonePe / mustang

MaxWolf-01 / TruthTabler

sidhant92 / bool-parser-java

glenn-sun / logic-circuit

everhart / shasat

healeycodes / coolrule

miikka / boolean-simplifier

chakravala / DeMorgan.jl

Devwarlt / calclog

matt-snider / ctags-query

sidhant92 / bool-parser-go

alevkov / Karnau

Alpenbelieve / JavaBDD_Application

RipperJ / VerilogExpr2NAND-NOR

ShaanCoding / Boolean-Expression-Solver

SubZer0811 / BE2SIM

zhimbura / boolean-expression-simplify

blackbishop313 / ks-boolean-expression

Gadzhovski / Boolean_Algebra_Post-fix_Notation_Calculator

lamg / predicate

LoicKonan / Logic-Design

marcbachmann / validate-scope

Aniny21 / logi.js

reycuba0918 / Boolean-Algebra