boolean-functions

A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more

Deterministic Deutsch-Jozsa quantum algorithm solver distinguishing constant vs balanced Boolean black-box functions in an exact single query with 0-pip Python.

Deterministic Deutsch-Jozsa quantum algorithm solver distinguishing constant vs balanced Boolean black-box functions in an exact single query with 0-pip Python.

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

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

A tool for working with Boolean functions and sets

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

Computer-Assisted Resolution of the Direct Product Conjecture via Kullback-Leibler (KL) Divergence Information Tensorization and Pinsker-Bounded Simulation Operators. (Cloud Security)

Generic Interactions To Specific Boolean Equations

🧮 Also known as the Quine-McCluskey method

CL-DIAG: Diagnosing canonicalization leakage in supervised learning under group symmetry

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

Sensitivity theory for Boolean functions, a residue/gap conjecture, a P vs NP proof-shape memo, and an audit of the 3-6-9 numerology claim.

Exact minimal integer-weight threshold circuits for every 4-input Boolean function (65,536 tables, 222 NPN classes): free-weight optima, capped Pareto frontiers, constructive forms, price of decomposability - all machine-verified.

A Lean 4 and Mathlib formalization of Ryan O'Donnell's Analysis of Boolean Functions

Pure Python AIG (And-Inverter Graph) optimizer with FRAIG sweeping, NPN-guided DAG-aware rewriting, resubstitution, and stochastic multi-restart optimization. Benchmarks against Yosys and ABC.

Native Rust engine for Context-Free-Language Ordered Binary Decision Diagrams (CFLOBDDs)

Cryptographic Boolean Functions in Lean