A design automation framework to engineer decision diagrams yourself

A tool for working with Boolean functions and sets

A collection of utility functions to apply boolean logic on functions (including higher-order). Written (and can be used) in a functional programming style.

Generic Interactions To Specific Boolean Equations

A programming language to play around and create boolean functions while being strictly limited to operations involving NAND gates.

Python package implemeted in Rust to compute the algebraic immunity of a Boolean function

Number systems, Boolean algebra, Boolean functions, and function minimization. Analysis and design of combinational and sequential digital logic circuits. Hardware Description Language (HDL) concepts and applications digital design and synthesis in FPGAs

Data analyses related to Truth Density bias in commonly used Boolean Regulatory Functions

🧮 Also known as the Quine-McCluskey method

CPE133-DigitalLogicDesign offers labs, Verilog examples, and FPGA projects for digital logic design, covering combinational and sequential circuits, boolean algebra, and timing. 🐙