Pinned Loading

1. bbchallenge bbchallenge Public

   Frontend of https://bbchallenge.org

   HTML 17 13

2. bbchallenge-deciders bbchallenge-deciders Public

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

   Jupyter Notebook 13 3

3. bbchallenge-undecided-index 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 bbchallenge-paper Public

   bbchallenge's research outputs

   TeX 9 3

5. bbchallenge-proofs bbchallenge-proofs Public

   Mathematical proofs of the bbchallenge project.

   TeX 24 6