boolean-functions

Interpreters and Boolean program generators for 81 esoteric languages.

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.

Windows 桌面工具：分析单输出与多输出布尔函数，支持真值表、ANF 导入及密码学指标计算。

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

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

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

A tool for working with Boolean functions and sets

Generic Interactions To Specific Boolean Equations

🧮 Also known as the Quine-McCluskey method

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

Beamer talk on Boolean functions, coding theory, and quantum error correction

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

Prediction-calibrated analytic bounds with an application to exact Boolean formula complexity.

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)

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