carrino / Coq-BBB4 Star 2 Code Issues Pull requests 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 Aug 20, 2026 Rocq Prover
David5768 / David-BB7-GPU-Deciders Star 0 Code Issues Pull requests 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