Skip to content
@bbchallenge

The Busy Beaver Challenge

Pinned Loading

  1. bbchallenge Public

    Frontend of https://bbchallenge.org

    HTML 13 12

  2. bbchallenge-deciders Public

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

    Jupyter Notebook 11 3

  3. bbchallenge-undecided-index Public

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

    1 1

  4. bbchallenge-paper Public

    bbchallenge's research outputs

    TeX 2 1

  5. bbchallenge-proofs Public

    Mathematical proofs of the bbchallenge project.

    TeX 17 6

Repositories

Showing 9 of 9 repositories
  • bbchallenge-paper Public

    bbchallenge's research outputs

    TeX 2 CC-BY-4.0 1 2 (1 issue needs help) 0 Updated Mar 21, 2025
  • bbchallenge Public

    Frontend of https://bbchallenge.org

    HTML 13 12 2 2 Updated Mar 19, 2025
  • bbchallenge-deciders Public

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

    Jupyter Notebook 11 3 2 1 Updated Mar 10, 2025
  • bbchallenge-proofs Public

    Mathematical proofs of the bbchallenge project.

    TeX 17 CC-BY-4.0 6 3 0 Updated Nov 11, 2024
  • bbchallenge-api Public

    Backend of https://www.bbchallenge.org

    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.

    1 CC-BY-4.0 1 0 0 Updated May 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, 2023
  • bbchallenge-seed Public

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

    Go 2 1 2 0 Updated Oct 14, 2022
  • bbchallenge-go Public

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

    Go 0 1 1 0 Updated Oct 14, 2022