boolean-algebra topic
brenda
Brenda is a boolean expression solver for Go AST
booleval
Header-only C++17 library for evaluating logical expressions.
Linq.Expression.Optimizer
System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
tt
a Pythonic toolkit for working with Boolean expressions
Quine-McCluskey
Implementation of Quine McCluskey algorithm in Python 3
splitmap
Parallel boolean circuit evaluation
microcontroller-kit
Value types, operators and functions for tinkering with microcontrollers in software.
string-math
Evaluates a math expression from a string. Supports variables and custom operators.
Nand2Tetris
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
logicrs
An easy-to-use simulator for logical circuits