Skip to content
@bbchallenge

The Busy Beaver Challenge

Pinned Loading

  1. bbchallenge bbchallenge Public

    Frontend of https://bbchallenge.org

    HTML 18 12

  2. bbchallenge-paper bbchallenge-paper Public

    bbchallenge's research outputs

    TeX 13 6

  3. bbchallenge-deciders bbchallenge-deciders Public

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

    Jupyter Notebook 12 5

  4. bbchallenge-proofs bbchallenge-proofs Public

    Mathematical proofs of the bbchallenge project.

    TeX 25 6

Repositories

Showing 9 of 9 repositories

Top languages

Loading…

Most used topics

Loading…