Public research software
Compact kernels, public solver demonstrations and verifiers released for local inspection and reproducible testing. Each package is documented, reproducible and ready for local inspection.
Downloadable code is source-available for noncommercial use under PolyForm Strict 1.0.0. Review the included licence before use.
Current catalogue
Browser tools run locally. Download cards preserve the complete archive, including its notice, licence, documentation and any included verification material.
Tiny Tri-State Recursive Mixer
A compact deterministic three-register nonlinear state mixer for study, experiments and reproducible trace identifiers.
51C703F32D9753C5545A3C9CB2C7B1352ED8B735F4C1A3601B0AEA4288AEBAF3Browser reference lanes · imported C11 solvers
Four live reference lanes run beside imported C11 solvers. C source is compiled locally to WebAssembly, executed in a fresh worker and checked by the page before a positive result is accepted.
A reference C lane and the exact compiler contract are available beside the upload control. Compiler components load only after a visitor selects C source. A positive benchmark library offers 5,346 instances from 20 to 2,000 variables.
Python + C11 paradox-scored local search
A witness-producing local-search implementation in Python and C11. Its published paradox component selects every permanent move, and every returned positive assignment is checked independently.
Verified on 339 positive cases across five public families, with exact Python/C witness and flip-count parity. The paradox operator participates directly in every published move decision.
1217726E0B3AAD0D4FA0131B91761855B1CE13C881D569E05B161293E308D555One-bit-budget verification package
The offline standard-library verifier distributed with the one-bit-budget paper, including 1,230 automated checks and a stored expected output.
Expandable catalogue
New entries arrive with their public package, licence, documentation and reproducibility checks.