Skip to content
Change the repository type filter

All

    Repositories list

    • Frontend of https://bbchallenge.org
      HTML
      131921Updated Apr 22, 2026Apr 22, 2026
    • BB(5) paper
      TeX
      Creative Commons Attribution 4.0 International
      61310Updated Apr 3, 2026Apr 3, 2026
    • Mathematical proofs of the bbchallenge project.
      TeX
      Creative Commons Attribution 4.0 International
      62530Updated Sep 1, 2025Sep 1, 2025
    • Here we give programs that check if Turing machines halt or not.
      Jupyter Notebook
      51523Updated Sep 1, 2025Sep 1, 2025
    • Backend of https://www.bbchallenge.org
      Python
      0110Updated Jul 2, 2024Jul 2, 2024
    • Keeps track of the successive versions of the undecided machines index file of the busy beaver challenge.
      Creative Commons Attribution 4.0 International
      1110Updated May 2, 2024May 2, 2024
    • Python tooling to manipulate and visualise the Turing Machines of the bbchallenge project.
      Jupyter Notebook
      2100Updated Oct 22, 2023Oct 22, 2023
    • Program used to find the initial 88,664,064 undecided 5-state Turing machines of the bbchallenge project.
      Go
      0320Updated Oct 14, 2022Oct 14, 2022
    • A go library which contains utilities to manipulate the Turing machines of the bbchallenge project.
      Go
      0010Updated Oct 14, 2022Oct 14, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.