Skip to content
@bbchallenge

The Busy Beaver Challenge

Pinned Loading

  1. bbchallenge bbchallenge Public

    Frontend of https://bbchallenge.org

    HTML 18 14

  2. bbchallenge-paper bbchallenge-paper Public

    BB(5) paper

    TeX 13 6

  3. bbchallenge-deciders bbchallenge-deciders Public

    Here we give programs that check if Turing machines halt or not.

    Jupyter Notebook 15 5

  4. bbchallenge-proofs bbchallenge-proofs Public

    Mathematical proofs of the bbchallenge project.

    TeX 24 6

Repositories

Showing 9 of 9 repositories
  • bbchallenge-paper Public

    BB(5) paper

    bbchallenge/bbchallenge-paper’s past year of commit activity
    TeX 13 CC-BY-4.0 6 1 0 Updated Mar 20, 2026
  • bbchallenge/bbchallenge’s past year of commit activity
    HTML 18 14 2 1 Updated Feb 18, 2026
  • bbchallenge-proofs Public

    Mathematical proofs of the bbchallenge project.

    bbchallenge/bbchallenge-proofs’s past year of commit activity
    TeX 24 CC-BY-4.0 6 3 0 Updated Sep 1, 2025
  • bbchallenge-deciders Public

    Here we give programs that check if Turing machines halt or not.

    bbchallenge/bbchallenge-deciders’s past year of commit activity
    Jupyter Notebook 15 5 2 3 Updated Sep 1, 2025
  • bbchallenge/bbchallenge-api’s past year of commit activity
    Python 1 0 1 0 Updated Jul 2, 2024
  • bbchallenge-undecided-index Public

    Keeps track of the successive versions of the undecided machines index file of the busy beaver challenge.

    bbchallenge/bbchallenge-undecided-index’s past year of commit activity
    1 CC-BY-4.0 1 1 0 Updated May 2, 2024
  • bbchallenge-py Public

    Python tooling to manipulate and visualise the Turing Machines of the bbchallenge project.

    bbchallenge/bbchallenge-py’s past year of commit activity
    Jupyter Notebook 1 2 0 0 Updated Oct 22, 2023
  • bbchallenge-seed Public

    Program used to find the initial 88,664,064 undecided 5-state Turing machines of the bbchallenge project.

    bbchallenge/bbchallenge-seed’s past year of commit activity
    Go 2 0 2 0 Updated Oct 14, 2022
  • bbchallenge-go Public

    A go library which contains utilities to manipulate the Turing machines of the bbchallenge project.

    bbchallenge/bbchallenge-go’s past year of commit activity
    Go 0 0 1 0 Updated Oct 14, 2022

Top languages

Loading…

Most used topics

Loading…