boolean-logic topic

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

m-peko

Genetic circuit design automation

CIDARLAB

A fast and certifying solver for quantified Boolean formulas.

MarkusRabe

Multiscale simulation of multi-cellular system

gletort

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

VanTamNguyen

∂B nets: learning discrete, boolean-valued functions by gradient descent

Z80coder

An easy-to-use simulator for logical circuits

Spydr06

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.

sandialabs