#

boolean-algebra

Here are 62 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 Sep 18, 2019
F#

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

m-peko / booleval

Star

Modern C++17 library for evaluating logical expressions.

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

Updated Jun 12, 2020
C++

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 Jul 16, 2020
JavaScript

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

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

MiguelRAvila / TOBARA

Star

🧮 The Only Boolean Algebra Reduction App

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

Updated Jun 15, 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

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#

julianthome / ctrans

Star

Basic constraint transformation library

java cnf boolean-algebra dnf constraint-transformation-library

Updated Mar 27, 2018
Java

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

madmann91 / minbool

Star

Boolean expression simplifier/minimizer

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

Updated Jan 26, 2019
C++

djcopley / QuineMcCluskey

Star

A digital logic simplification program.

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

Updated Nov 20, 2018
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

KennyChen1 / bool

Star

The Online Circuit Builder (Front End)

javascript boolean-algebra

Updated Jul 5, 2017
JavaScript

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

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

ish-joshi / booleanify

Star

Easily type boolean expressions using English text. Actively translates to appropriate symbols for academic communication through Boolean algebra.

boolean boolean-expression boolean-algebra

Updated Apr 15, 2019
JavaScript

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 Jun 18, 2019
Swift

truth-trick

jonathanjameswatson / truth-trick

Star

Boolean expression visualiser

javascript css html webpack boolean-algebra html-css-javascript boolean-logic

Updated Jul 28, 2020
JavaScript

estepona / logic-circuit

Star

simulation of essential combinational logic circuits with boolean algebra

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

Updated Oct 22, 2019
Python

tanveerbrar16 / tanveerbrar16.github.io

Star

java logic-gates boolean-algebra bluej boolean-logic

Updated Sep 18, 2019
HTML

rambodrahmani / dalle_porte_and_or_not_al_sistema_calcolatore

Star

Dalle Porte AND OR NOT Al Sistema Calcolatore. Un viaggio nel mondo delle reti logiche in campagnia del linguaggio Verilog.

verilog altera logic-gates boolean-algebra modelsim boolean-logic

Updated Jul 20, 2019
Verilog

Ziyadelbanna / SetsAndStrings

Star

📃 Simplifying sets entered by the user through console

boolean-expression boolean-algebra sets

Updated Jan 18, 2019
Java

Stargarth / BooleanQueryParser

Star

Java DSL query engine for simple boolean algebra

java interpreter dsl ast boolean-algebra query-language

Updated Oct 5, 2019
Java

shivg7706 / Quine-McCluskey-Algorithm

Star

boolean-algebra quine-mccluskey-algorithm

Updated Mar 12, 2018
Python

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."

You can’t perform that action at this time.