boolean-logic topic
booleval
Header-only C++17 library for evaluating logical expressions.
cello
Genetic circuit design automation
cadet
A fast and certifying solver for quantified Boolean formulas.
PhysiBoSS
Multiscale simulation of multi-cellular system
Nand2Tetris
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
db-nets
∂B nets: learning discrete, boolean-valued functions by gradient descent
logicrs
An easy-to-use simulator for logical circuits
Gulliver
Gulliver is a C# utility package and library engineered for the manipulation of arbitrary sized byte arrays accounting for appropriate endianness and jagged byte length.