#

boolean-algebra

Here are 78 public repositories matching this topic...

welchbj / tt

Star

a Pythonic toolkit for working with Boolean expressions

python transformations boolean boolean-expression sat-solver boolean-algebra truth-table sat satisfiability

Updated May 11, 2020
Python

Thorium / Linq.Expression.Optimizer

Star

System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer

linq sql optimization reduction mathematical-expressions boolean-algebra expression-tree optimisation

Updated Feb 5, 2021
F#

m-peko / booleval

Star

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

c-plus-plus cpp parser-library filter modern-cpp evaluation expression header-only evaluator cpp17 boolean-expression boolean-algebra expression-evaluator expression-tree boolean-operations recursive-descent-parser logical-operators boolean-logic

Updated Jul 20, 2021
C++

dave / brenda

Star

Brenda is a boolean expression solver for Go AST

go golang ast boolean boolean-expression boolean-formulas boolean-algebra boolean-operations boolean-satisfiability

Updated Feb 6, 2019
Go

louisdh / microcontroller-kit

Star

Value types, operators and functions for tinkering with microcontrollers in software.

microcontroller bits boolean-algebra seven-segment nibble

Updated Apr 10, 2018
Swift

richardstartin / splitmap

Star

Parallel boolean circuit evaluation

bitset bitmap indexing boolean-algebra roaringbitmap boolean-circuits

Updated Oct 28, 2018
Java

sheabunge / boolcalc

Star

Web application for parsing and evaluating boolean algebra expressions.

boolean-algebra

Updated May 24, 2021
JavaScript

VanTamNguyen / Nand2Tetris

Star

Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.

compiler hardware virtual-machine tokenizer assembler assembly-language code-generation symbol-table syntax-analysis nand2tetris computer-architecture logic-gates boolean-algebra machine-language boolean-logic combinational-logic sequential-logic high-level-language

Updated Sep 30, 2017
Assembly

pepsipu / ban

Star

Boolean Algebra Notation is a programming language that allows the execution of Boolean expressions.

c programming-language simulator latex math boolean-algebra hdl

Updated Jun 10, 2019
C

int-main / Quine-McCluskey

Star

Implementation of Quine McCluskey algorithm in Python 3

python minimization quine-mccluskey karnaugh-map boolean-expression boolean-algebra quine-mccluskey-technique quine-mccluskey-algorithm prime-implicants-table function-minimization minterm prime-implicants essential-prime-implicants petrick-method

Updated Apr 20, 2020
Python

cuBool

JetBrains-Research / cuBool

Star

Sparse linear Boolean algebra for Nvidia Cuda

python cplusplus graph-algorithms linear-algebra sparse-matrix boolean-algebra graph-analysis nvidia-cuda graphblas

Updated Jun 12, 2021
C++

julianthome / ctrans

Star

Basic constraint transformation library

java cnf boolean-algebra dnf constraint-transformation-library

Updated Mar 27, 2018
Java

OutatimeSoftware / TOBARA

Star

🧮 The Only Boolean Algebra Reduction App

python-library python3 discrete-mathematics boolean-algebra pypi-package

Updated Nov 20, 2020
Python

sid-code / boolalg

Star

A boolean algebra system written in Nim http://www.public.asu.edu/~skulka20/boolalg/

nim boolean-algebra computer-algebra-system

Updated Aug 22, 2019
Nim

madmann91 / minbool

Star

Boolean expression simplifier/minimizer

header-only boolean-algebra quine-mccluskey-algorithm minimizer

Updated Jan 26, 2019
C++

Stargarth / BooleanQueryParser

Star

Java DSL query engine for simple boolean algebra

java interpreter dsl ast boolean-algebra query-language

Updated Oct 5, 2019
Java

evtn / matlog

Star

a tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions)

boolean-algebra truth-tables

Updated May 21, 2021
Python

exsandebest / MDNF

Star

Minimal disjunctive normal form: Table and Result

qt table boolean-algebra boolean-logic boolean-function logical-function minimal-disjunctive-normal-form mdnf

Updated May 20, 2020
C++

djcopley / QuineMcCluskey

Star

A digital logic simplification program.

minimization quine-mccluskey python3 digital-logic boolean-algebra boolean-logic digital-logic-simplification

Updated Dec 8, 2020
Python

salahsheikh / boolean-decomposer

Star

Parses and computes a truth table for any logical expression using ANTLR4

java antlr4 boolean-algebra truth-table boolean-expression-parser

Updated Nov 15, 2018
Java

LiamGraham / truthtable

Star

Tool to create truth tables for boolean expressions

python logic boolean-algebra truth-table-generator

Updated Jul 1, 2018
Python

seanrmilligan / cse220.com

Star

Site with teaching material for an introductory computer architecture course. Covers topics including number representation, combinatorial logic, assembly programming, and processor design.

mips logic-gates boolean-algebra number-representation

Updated May 10, 2018
HTML

ShaanCoding / Boolean-Expression-Solver

Star

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

csharp wpf boolean-expression boolean-algebra truth-table truth-table-generator postfix-evaluation

Updated Feb 9, 2020
C#

vijaybharath99 / Karnaugh-Map

Star

Karnaugh-map for 2 , 3 and 4 variables in both sum of product and product of sum expressions, which takes min-terms or max-terms as input and return simplified expression with desired variables.

karnaugh-map sop pos boolean-algebra karnaugh karnaugh-map-simplifier karnaugh-map-solver karnaugh-maps kmap sum-of-product product-of-sum

Updated May 21, 2020
Python

estepona / logic-circuit

Star

simulation of essential combinational logic circuits with boolean algebra

python logic-gates boolean-algebra logic-circuit combinational-logic

Updated Mar 27, 2021
Python

alevkov / Karnau

Star

A puzzle game for iOS.

ios logic puzzle-game ios-app swift-3 cocoa boolean-expression logic-gates ios-sdk boolean-algebra ios10 puzzle-solver logic-game logic-design ios11 karnaugh-map-simplifier

Updated May 19, 2021
Swift

Simsso / Quine-McCluskey-Algorithm

Star

C# implementation of the Quine-McCluskey algorithm and Petrick's method

quine-mccluskey logic boolean-algebra

Updated Feb 26, 2017
C#

cs-MohamedAyman / Discrete-Mathematics

Star

Discrete Mathematics lectures for computer science students.

graphs functions probability recursion series discrete-mathematics counting propositional-logic trees proofs boolean-algebra induction number-theory sequences sets relations predicate-logic

Updated Jun 26, 2021

JetBrains-Research / spbla

Star

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations

python cplusplus graph-algorithms opencl cuda sparse-matrix boolean-algebra suitesparse graphblas

Updated Jul 19, 2021
C++

thisIsTheFoxe / functional-swift

Star

Functional programming in Swift

swift lambda functional-programming lambda-functions boolean-algebra

Updated Aug 29, 2020
Swift

Improve this page

Add a description, image, and links to the boolean-algebra topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boolean-algebra topic, visit your repo's landing page and select "manage topics."