Skip to content

@bbchallenge The Busy Beaver Challenge

Change the repository type filter

All

    Repositories list

    9 repositories

    • bbchallenge-paper

      Public
      bbchallenge's research outputs
      TeX
      •
      Creative Commons Attribution 4.0 International
      •6•13•1•0•Updated Aug 12, 2025Aug 12, 2025

    • bbchallenge

      Public
      Frontend of https://bbchallenge.org
      HTML
      •12•19•2•1•Updated Aug 10, 2025Aug 10, 2025

    • bbchallenge-proofs

      Public
      Mathematical proofs of the bbchallenge project.
      TeX
      •
      Creative Commons Attribution 4.0 International
      •6•25•3•0•Updated Apr 29, 2025Apr 29, 2025

    • bbchallenge-deciders

      Public
      Here we give programs that check if Turing machines halt or not.
      Jupyter Notebook
      •5•14•2•2•Updated Mar 10, 2025Mar 10, 2025

    • bbchallenge-api

      Public
      Backend of https://www.bbchallenge.org
      Python
      •0•1•1•0•Updated Jul 2, 2024Jul 2, 2024

    • bbchallenge-undecided-index

      Public
      Keeps track of the successive versions of the undecided machines index file of the busy beaver challenge.
      Creative Commons Attribution 4.0 International
      •1•2•1•0•Updated May 2, 2024May 2, 2024

    • bbchallenge-py

      Public
      Python tooling to manipulate and visualise the Turing Machines of the bbchallenge project.
      Jupyter Notebook
      •2•2•0•0•Updated Oct 22, 2023Oct 22, 2023

    • bbchallenge-seed

      Public
      Program used to find the initial 88,664,064 undecided 5-state Turing machines of the bbchallenge project.
      Go
      •1•2•2•0•Updated Oct 14, 2022Oct 14, 2022

    • bbchallenge-go

      Public
      A go library which contains utilities to manipulate the Turing machines of the bbchallenge project.
      Go
      •1•0•1•0•Updated Oct 14, 2022Oct 14, 2022