The Wayback Machine - https://web.archive.org/web/20220524024148/https://github.com/topics/boolean-algebra

#

boolean-algebra

Here are 95 public repositories matching this topic...

Thorium / Linq.Expression.Optimizer

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

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 Jan 25, 2022
C++

dave / brenda

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

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

Parallel boolean circuit evaluation

bitset bitmap indexing boolean-algebra roaringbitmap boolean-circuits

Updated Oct 28, 2018
Java

VanTamNguyen / Nand2Tetris

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

cuBool

JetBrains-Research / cuBool

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++

sheabunge / boolcalc

Web application for parsing and evaluating boolean algebra expressions.

boolean-algebra

Updated Feb 12, 2022
JavaScript

int-main / Quine-McCluskey

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

JetBrains-Research / spbla

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

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

Updated Feb 17, 2022
C++

pepsipu / ban

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

julianthome / ctrans

Basic constraint transformation library

java cnf boolean-algebra dnf constraint-transformation-library

Updated Mar 27, 2018
Java

madmann91 / minbool

Boolean expression simplifier/minimizer

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

Updated Sep 28, 2021
C++

OutatimeSoftware / TOBARA

🧮 The Only Boolean Algebra Reduction App

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

Updated Nov 20, 2020
Python

evtn / matlog

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

boolean-algebra truth-tables

Updated May 21, 2021
Python

VitorgsRuffo / Building-The-Hack-Computer

This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.

logic-gates boolean-algebra logisim logic-design hardware-description-language hardware-platform computer-architecture-fundamentals

Updated Aug 30, 2021
Scilab

ShaanCoding / Boolean-Expression-Solver

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#

sid-code / boolalg

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

nim boolean-algebra computer-algebra-system

Updated Aug 15, 2021
Nim

salahsheikh / boolean-decomposer

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

alevkov / Karnau

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

hosseinfani / digital_odyssey

Materials for the Computer Science course, Digital Design (Logic Circuits)

counter memory decoding karnaugh-map logic-gates boolean-algebra multiplexer adder shift-register registers digital-design digital-systems canonical-forms flip-flop combinational-logic sequential-logic number-systems subtractor logic-circuits programmable-logic

Updated Apr 25, 2022
C++

LoicKonan / Logic-Design

Logic Design.

vhdl boolean-expression logic-gates boolean-algebra quartus2

Updated Apr 16, 2022
VHDL

hishamcse / Digital-Logic-Simplification_KMap_Tabulation

https://hishamcse-dld-simplifier.herokuapp.com/

bootstrap express mustache quine-mccluskey boolean-algebra kmap

Updated Oct 21, 2021
JavaScript

LiamGraham / truthtable

Tool to create truth tables for boolean expressions

python logic boolean-algebra truth-table-generator

Updated Jul 1, 2018
Python

seanrmilligan / cse220.com

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

exsandebest / MDNF

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++

mesut146 / boolean

a java library for boolean algebra

java command-line logic-gates boolean-algebra computer-algebra-system

Updated Feb 10, 2021
Java

D3lph1 / Boollet

Boolean algebra toolkit for PHP

sat-solver boolean-algebra truth-table sat normal-forms zhegalkin-polynomial

Updated Mar 12, 2022
PHP

tallsop / BoolGate

A logic gate simulation system that has boolean algebra and truth table conversion features.

c-sharp boolean-algebra truth-table logic-gate-simulator

Updated Jul 12, 2015
C#

muhammadkarbalaee / logic-circuit-4j

A Java library which contains full implementation of everything you might find in a logic circuit undergraduate course.

encoding base-conversion boolean-algebra logic-circuit shahid-beheshti-university

Updated Feb 20, 2022
Java

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