https://github.com/nickdrozd/busy-beaver-stuff

Tools for finding and analyzing Busy Beaver programs for Turing machines
https://github.com/nickdrozd/busy-beaver-stuff

busy-beaver computability-theory turing-machine

Last synced: 2 months ago
JSON representation

Tools for finding and analyzing Busy Beaver programs for Turing machines

• Host: GitHub
• URL: https://github.com/nickdrozd/busy-beaver-stuff
• Owner: nickdrozd
• License: gpl-3.0
• Created: 2020-08-09T17:18:50.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2024-10-28T00:43:27.000Z (2 months ago)
• Last Synced: 2024-10-28T04:37:13.513Z (2 months ago)
• Topics: busy-beaver, computability-theory, turing-machine
• Language: Python
• Homepage:
• Size: 15.5 MB
• Stars: 10
• Watchers: 4
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project