GitHub topics: boolean-expression

Repositories

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.

Language: C++ - Size: 35.1 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 921 - Forks: 158

broccolimicro/boolean

Implements cubes, covers, and their associated logic operations

Language: C++ - Size: 146 KB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 0

miroiu/string-math

Evaluates a math expression from a string. Supports variables and custom operators.

Language: C# - Size: 224 KB - Last synced at: 20 days ago - Pushed at: 12 months ago - Stars: 55 - Forks: 5

KhaledHosseini/propositional-logic

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

Language: Rust - Size: 6.07 MB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 1

tangentstorm/bex

A rust crate for boolean expressions (expression trees, decision diagrams, etc.)

Language: Rust - Size: 1.28 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 33 - Forks: 0

zhimbura/boolean-expression-simplify

Multiplatform library witch can make the expression easier

Language: Kotlin - Size: 1.92 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

AntoineGagne/erl-a-tree

A NIF for the https://crates.io/crates/a-tree crate

Language: Erlang - Size: 37.1 KB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

AntoineGagne/a-tree

A dynamic data structure for efficiently indexing arbitrary boolean expressions

Language: Rust - Size: 7.83 MB - Last synced at: 19 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

m-peko/booleval

Header-only C++17 library for evaluating logical expressions.

Language: C++ - Size: 464 KB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 85 - Forks: 6

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.

Language: Python - Size: 141 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 8 - Forks: 2

MustafaAamir/balg

A boolean algebra toolkit written in python

Language: Python - Size: 438 KB - Last synced at: 20 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

Language: Python - Size: 577 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 218 - Forks: 12

ympons/expreso

:coffee: A boolean expression parser and evaluator in Elixir.

Language: Elixir - Size: 22.5 KB - Last synced at: 8 days ago - Pushed at: about 5 years ago - Stars: 66 - Forks: 5

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.

Language: Python - Size: 35.3 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 57 - Forks: 24

sidhant92/bool-parser-go

A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Go

Language: Go - Size: 161 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0

healeycodes/coolrule

🧮 Boolean expression evaluation engine. A Rust port of boolrule.

Language: Rust - Size: 19.5 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 1

PhonePe/mustang

Search engine for Rules - Indexing boolean expressions at scale

Language: Java - Size: 822 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 6 - Forks: 5

cch123/elastic-rs

comvert bool expression to elasticsearch DSL in rust

Language: Rust - Size: 36.1 KB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 47 - Forks: 4

sidhant92/bool-parser-java

A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Java

Language: Java - Size: 276 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 1

NaldCapuno/Boolean-Expression-Parser

This Python program simplifies boolean expressions using the SymPy library and provides a user-friendly graphical interface using Tkinter.

Language: Python - Size: 25.4 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

dave/brenda

Brenda is a boolean expression solver for Go AST

Language: Go - Size: 22.5 KB - Last synced at: 17 days ago - Pushed at: about 6 years ago - Stars: 46 - Forks: 5

denishsharma/boolean-query-builder-bitespeed-task

Boolean query builder demo with import and export of schema and internal representation of builder to update data easily

Language: TypeScript - Size: 390 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

henryhale/7-segment-display-decoder

📟 A BCD to seven segment display decoder implementation

Language: JavaScript - Size: 120 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1

Aboeleneen/Quine-McCluskey

software implementation of the tabular method (Quine-McCluskey) to minimize boolean expressions

Language: C++ - Size: 402 KB - Last synced at: 11 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

zlypher/bool

Bool Checker is intended as a simple utility to quickly check what your boolean expression results in with all possible inputs.

Language: JavaScript - Size: 629 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 105 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

loypt/digitalLogicWithLogisim

digital Logic experiment use Logisim Evolution

Size: 13.7 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dzhibas/bool_expr_parser

Boolean expresion parser and evaluation function for feature flagging - flipper

Language: Rust - Size: 82 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

brucesdad13/BooleanAlgebra

Java Boolean Algebra Truth Table Generator

Language: Java - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tlux/belp

A simple Boolean Expression Lexer and Parser

Language: Elixir - Size: 49.8 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

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.

Language: TypeScript - Size: 62.5 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

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.

Language: TypeScript - Size: 438 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

iamareebjamal/boolean-minimizer

A Java GUI application for minimizing boolean expressions showing Truth Table and K-Map using Quine McCluskey Technique

Language: Java - Size: 33.2 KB - Last synced at: 30 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 2

glenn-sun/logic-circuit

A Python module to simulate logical circuits/graphs.

Language: Python - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 6 - Forks: 3

sorinabuf/Reductions-to-SAT-Problem

Gigel and Mafia is an algorithm oriented course homework exploiting graph representations of relationships between clans of Mafia families primarily through reductions to the Boolean Satisfiability Problem. Its implementation is conducted in Java.

Language: Java - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

attwoodn/cpp-expression-tree

A header-only, C++14 library for creating logical expression trees and using them to evaluate instances of user-defined data types. Inspired by m-peko/booleval.

Language: C++ - Size: 126 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

tomc128/boolean-expression-parser

Boolean expression parser

Language: C# - Size: 777 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1

Jvsierra/TabelaVerdade-C

Programa que dá a tabela-verdade de uma expressão booleana, escrito em C.

Language: C - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

pedrosbmartins/beard

Boolean Expressions As Rendered Diagrams

Language: TypeScript - Size: 2.64 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

irsol/python-exercises

Language: Python - Size: 8.81 MB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

A-G-D/lua-boolexpr

Boolean Expression module for Lua

Language: Lua - Size: 92.8 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

miikka/boolean-simplifier

Simple boolean expression simplifier

Language: Clojure - Size: 15.6 KB - Last synced at: 14 days ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 0

Ashwin-op/CMOS_Circuit_Generator

Converting Boolean expressions to CMOS Circuits

Language: Python - Size: 333 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 2

LoicKonan/Logic-Design

Logic Design.

Language: VHDL - Size: 3.05 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

marcbachmann/validate-scope

Checks whether a subset is contained in a list of oauth scopes. Uses code generation to reach better performance.

Language: JavaScript - Size: 54.7 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 2

RipperJ/VerilogExpr2NAND-NOR

Logic Expression Compiler, with Logic Minimization, to NAND/NOR Implementation

Language: Python - Size: 42 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

REDl3east/bool-search

A command line tool that searches things with boolean expressions.

Language: C - Size: 637 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

int-main/Quine-McCluskey

Implementation of Quine McCluskey algorithm in Python 3

Language: Python - Size: 260 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 27 - Forks: 12

rafaelfigueredog/Quine-McCluskey

The Quine-McCluskey algorithm is a method used to simplify boolean expressions. This is an implementation of the algorithm using Python.

Language: Python - Size: 97.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

natanbc/boolalg-simplifier 📦

Source code for https://boolalg.im-a.dev

Language: Scala - Size: 81.1 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 1

Devwarlt/calclog 📦

Boolean calculator written in C# that implements Djikstra's Shunting Yard algorithm and RPN (reverse polish notation).

Language: C# - Size: 168 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

deipeypaanchal/python-charming

This repository contains all the python 🐍 codes I wrote while learning python.

Language: Python - Size: 73.2 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

matt-snider/ctags-query

A tool to query ctags file with simple boolean expressions.

Language: Rust - Size: 25.4 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

sh1ngekyo/Expreval

Fast, Compact, Easy-To-Use Library for evaluating boolean (or your own) expressions.

Language: C# - Size: 51.8 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

svmnotn/truth-tester 📦

Tests expressions on all possible states of it's variables

Language: Rust - Size: 3.58 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

snowcra5h/3SAT

Given a valid 3-CNF expression, finds a truth assignment (or partial truth assignment) which satisfies a boolean expression or, reports that the formula is unsatisfiable.

Language: C - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

AmitGZ/Karnaugh_Solver

Karnaugh map solver

Language: Python - Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ShaanCoding/Boolean-Expression-Solver

A simple boolean expression validator, creating truth tables for boolean expressions

Language: C# - Size: 83 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 2

lesomnus/boolal

Evaluate a boolean expression

Language: Go - Size: 12.7 KB - Last synced at: 30 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

julienc91/truthtable

Generate truth tables online

Language: TypeScript - Size: 394 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

the-pinbo/BooleanCalculator

boolean calculator engine using urp

Language: Python - Size: 80.1 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

WandererJackalope/lab4-team56

Texas A&M University, ENGR-102-562, Team 56, Lab 4.15: Boolean Expressions

Language: Python - Size: 7.81 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

geovanimelo/atividadeLiterais

Aplicação para a obtenção dos literais em expressões de lógica booleana (IA).

Language: Python - Size: 3.73 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ERUD1T3/quine-mccluskey-petrick

C++ implementation of Quine-McCluskey and Petrick's method to simplify boolean expressions

Language: C++ - Size: 1.95 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

Mykhailo-Sichkaruk/Binary-Decision-Tree-with-reduction

Binary Decision Diagram with horizontal and vertical reduction.

Language: Java - Size: 1.35 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

braxtonshakira/Adventure-Game- Fork of HackerUSA-CE/FSI-Creating-a-Choose-Your-Own-Adventure-Game

In this this project I coded an interactive game with JavaScript. 1. JavaScript functions 2. Conditional statements 3. Boolean expressions 4. Tree data structure

Language: JavaScript - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

jfalzini99/java-week-2

Working with Boolean Operators, Conditionals, and Loops in Java

Language: Java - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

mohamedsalahh/Truth-Table

Truth table generator

Language: Python - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

KelvynValle/booleval

Javascript boolean expression evaluator.

Language: JavaScript - Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

0110G/QuineMccluskey-Minimization

Minimization of boolean expressions is one of the fundamental aspects of Digital Design. This task was revolutionized by the QuineMccluskey technique. This repo contains C++ code used to minimize boolean functions through this technique. The implementation has been designed only for non Don't care type expressions.

Language: C++ - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

tybruno/assertify

Simple, Flexible, and Extendable python3.6+ library for boolean expressions, assertions, and verifications.

Language: Python - Size: 98.6 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

alevkov/Karnau

A puzzle game for iOS.

Language: Swift - Size: 32.3 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

fre-sch/json-criteria

JSON-Criteria is a JSON document describing criteria, a tree of boolean expressions. These can be used to evaluate against context data.

Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Hanabiraa/Boolean-function-interpreter

A boolean function parser and interpreter.

Language: Python - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SubZer0811/BE2SIM

This repository contains a python script that converts a Boolean Expression to a .SIM file (circuit netlist description).

Language: Python - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

nammoooo/Boolean-Laws

Boolean logic, boolean-expression, boolean-algebra, boolean

Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 2

umareefarooq/Python-Basic-Programs

This Repository contains the Basics of Python Programming. Each and every basic concept is explained through its corresponding python code.

Language: Jupyter Notebook - Size: 69.3 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

arjunrajasekharan/CMOS-Circuit-Generator

This repository contains a python script which converts a Boolean Expression to a .sim file.

Language: Python - Size: 6.84 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

J-MR-T/BooleanDSL

Boolean DSL

Language: Kotlin - Size: 2.3 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

SageBinder/TruthTableGenerator

Takes a logical expression (for example, "(A & B) | ~C") and produces a truth table.

Language: Java - Size: 68.4 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

MrRefactoring/logic-tree Fork of IvanRave/logic-tree

Build a Abstract Syntax Tree from a logic expression string

Language: JavaScript - Size: 85 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 1

Related Keywords

boolean-expression 101 boolean-algebra 38 boolean-logic 25 boolean 17 python 15 truth-table 11 boolean-operations 8 java 8 parser 7 truth-table-generator 7 quine-mccluskey 7 expression-evaluator 6 logic 6 python3 6 karnaugh-map 6 quine-mccluskey-algorithm 5 logical-operators 5 minimization 5 parsing 5 dotnet 4 cpp 4 javascript 4 petrick-method 4 math 4 csharp 4 antlr4 3 ast 3 logic-gates 3 conditional-statements 3 evaluation 3 evaluator 3 expression 3 expression-tree 3 logical-expression 3 boolean-query 3 rule-engine 3 mathematics 3 boolean-expression-parser 3 expression-parser 3 loops 3 irsim 3 elasticsearch 3 rust 3 algolia 2 karnaugh-map-simplifier 2 elixir 2 logic-design 2 postfix 2 sat-solver 2 boolean-formulas 2 grammar 2 sets 2 abstract-syntax-tree 2 arithmetic-expression 2 discrete-mathematics 2 golang 2 go 2 circuit-netlist-description 2 predicates 2 expressions 2 json 2 digital 2 parse 2 search 2 bool 2 interpreter 2 function-minimization 2 minterm 2 calculator 2 prime-implicants 2 cmos-circuits 2 cmos 2 prime-implicants-table 2 propositional-logic 2 rust-lang 2 decision-diagrams 2 rust-crate 2 data-structure 2 simplifier 2 event-filtering 2 dsl 2 quine-mccluskey-technique 2 data-structures 2 boolean-operators 2 tree-structure 2 criteria 2 query 2 reflection 1 simulation 1 no-std 1 3cnf 1 3sat 1 karnaugh 1 karnaugh-map-solver 1 postfix-evaluation 1 wpf 1 bool-expression 1 online-tool 1 pcn 1 networks 1