bbchallenge

Here are 4 public repositories matching this topic...

carrino / Coq-BBB4

Machine-checked BBB(4) in Coq: every 4-state 2-symbol Turing machine quasihalts by 32,779,478 or never quasihalts. One axiom.

coq turing-machines formal-verification bbb busy-beaver bbchallenge beeping-busy-beaver quasihalting

Updated Sep 15, 2026
Rocq Prover

David5768 / David-BB7-GPU-Deciders

Star

GPU-accelerated Busy Beaver deciders: Translated Cyclers, Macro Machine Simulator, and NGramCPS. Runs on 12.8+ CUDA-capable NVIDIA GPU (RTX 3060 to RTX 5090).

cuda busy-beaver bbchallenge

Updated May 29, 2026
Cuda

golirt1 / bb6-shift-overflow-analysis

Star

Exact 150-digit halting certificate for a BB(6) shift-overflow holdout

mathematics formal-methods turing-machine busy-beaver bbchallenge

Updated Aug 24, 2026
Python

oohzaim1-afk / space-needle-100M

Star

Space Needle (BB(6) cryptid): computation extended to 100,000,000 terms - no power of 2, new max v2 = 25. Cross-checked artifacts, hashes, reproducible code.

turing-machines computability cryptids busy-beaver space-needle bbchallenge

Updated Sep 16, 2026
Python

Add this topic to your repo

To associate your repository with the bbchallenge topic, visit your repo's landing page and select "manage topics."

Learn more