boolean-functions

An easy-to-use and open-source tool for differential, linear, differential-linear, boomerang and integral analysis of S-boxes

Interpreters and Boolean program generators for 115 esoteric languages.

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

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

GF(2) Möbius / zeta transform in o(N log N) XOR gates, the first asymptotic improvement over Yates (1937) for circuits with cancellation: proofs, certificates, Lean 4 checks, and closed ideas. Asymptotic only, AI-checked, not yet human-refereed.

Tree Decision Diagrams for Rust, Python and C: canonical circuits for Boolean functions, with model counting and weighted evaluation

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

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

보관된 이전 연구 노트: 카르노맵 XOR/XNOR 체커보드와 변수 배치 동치류(24→6→3). 내용은 7·8번 논문으로 정리됨

🧮 Also known as the Quine-McCluskey method

Exact partial exclusions and reproducible certificates for degree-five Boolean functions with sensitivity fourteen. The full existence problem remains open.

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

Exact rational certificates settling nine open cases of the Ambainis-Iraids-Nagaj EXACT_{k,l}^n conjecture (exact quantum query complexity)

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

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