Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
The Busy Beaver Challenge
Deciding the undecidable, one Turing machine at a time.
Collective -
Host: opensource -
https://opencollective.com/bbchallenge
- Code: https://github.com/bbchallenge/bbchallenge
Change Antihydra page to use better known math notation
github.com/bbchallenge/bbchallenge - void4 opened this pull request 2 months ago
github.com/bbchallenge/bbchallenge - void4 opened this pull request 2 months ago
Add custom Antihydra page
github.com/bbchallenge/bbchallenge - void4 opened this pull request 3 months ago
github.com/bbchallenge/bbchallenge - void4 opened this pull request 3 months ago
Create redirect for /antihydra
github.com/bbchallenge/bbchallenge - meithecatte opened this pull request 3 months ago
github.com/bbchallenge/bbchallenge - meithecatte opened this pull request 3 months ago
Improve support for initial tape
github.com/bbchallenge/bbchallenge - int-y1 opened this pull request 5 months ago
github.com/bbchallenge/bbchallenge - int-y1 opened this pull request 5 months ago
Initial tape only supports 0 and 1
github.com/bbchallenge/bbchallenge - int-y1 opened this issue 6 months ago
github.com/bbchallenge/bbchallenge - int-y1 opened this issue 6 months ago
Goto bb6 no url change
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request 6 months ago
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request 6 months ago
Store sim parameters in URL search params
github.com/bbchallenge/bbchallenge - LegionMammal978 opened this pull request 6 months ago
github.com/bbchallenge/bbchallenge - LegionMammal978 opened this pull request 6 months ago
Navigating history does not refresh the current machine
github.com/bbchallenge/bbchallenge - tcosmo opened this issue 6 months ago
github.com/bbchallenge/bbchallenge - tcosmo opened this issue 6 months ago
Update racheline's name.
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request 6 months ago
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request 6 months ago
Machine code table has columns with different widths
github.com/bbchallenge/bbchallenge - int-y1 opened this issue 6 months ago
github.com/bbchallenge/bbchallenge - int-y1 opened this issue 6 months ago
Avoid making the logo huge in Discord embeds
github.com/bbchallenge/bbchallenge - meithecatte opened this pull request 6 months ago
github.com/bbchallenge/bbchallenge - meithecatte opened this pull request 6 months ago
As pre-work for proof visualization, parametrize a head/tape color style.
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request 6 months ago
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request 6 months ago
Implement wiki qury
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request 6 months ago
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request 6 months ago
Remove closed issues
github.com/bbchallenge/bbchallenge - MartinSStewart opened this pull request 7 months ago
github.com/bbchallenge/bbchallenge - MartinSStewart opened this pull request 7 months ago
Improve support for initial tape
github.com/bbchallenge/bbchallenge - int-y1 opened this issue about 1 year ago
github.com/bbchallenge/bbchallenge - int-y1 opened this issue about 1 year ago
Don't crash the simulation when drawing halted tape
github.com/bbchallenge/bbchallenge - Nathan-Fenner opened this pull request about 1 year ago
github.com/bbchallenge/bbchallenge - Nathan-Fenner opened this pull request about 1 year ago
Bug - Explore mode can break the visualizer
github.com/bbchallenge/bbchallenge - int-y1 opened this issue about 1 year ago
github.com/bbchallenge/bbchallenge - int-y1 opened this issue about 1 year ago
minor state refactor for accessibility improvements
github.com/bbchallenge/bbchallenge - Nathan-Fenner opened this pull request about 1 year ago
github.com/bbchallenge/bbchallenge - Nathan-Fenner opened this pull request about 1 year ago
Support multi-symbol (up to 10) Turing machines.
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request about 1 year ago
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request about 1 year ago
create MachineCanvas component
github.com/bbchallenge/bbchallenge - Nathan-Fenner opened this pull request over 1 year ago
github.com/bbchallenge/bbchallenge - Nathan-Fenner opened this pull request over 1 year ago
Document the /machine/<machine_id>/decider API
github.com/bbchallenge/bbchallenge - meithecatte opened this pull request over 1 year ago
github.com/bbchallenge/bbchallenge - meithecatte opened this pull request over 1 year ago
Upgrade dependencies
github.com/bbchallenge/bbchallenge - allezxandre opened this pull request almost 2 years ago
github.com/bbchallenge/bbchallenge - allezxandre opened this pull request almost 2 years ago
Update the highlighted Skelet machines to represent unsolved ones.
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request almost 2 years ago
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request almost 2 years ago
Special info for individual machines
github.com/bbchallenge/bbchallenge - bt2901 opened this issue almost 2 years ago
github.com/bbchallenge/bbchallenge - bt2901 opened this issue almost 2 years ago
Typo: Remove duplicate word
github.com/bbchallenge/bbchallenge - nhowell opened this pull request almost 2 years ago
github.com/bbchallenge/bbchallenge - nhowell opened this pull request almost 2 years ago
Suggested language for clarifying the ultimate proof and verification standards
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request about 2 years ago
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request about 2 years ago
Fix a typo.
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request about 2 years ago
github.com/bbchallenge/bbchallenge - UncombedCoconut opened this pull request about 2 years ago
Error in parsing 15 states machine code
github.com/bbchallenge/bbchallenge - tcosmo opened this issue about 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this issue about 2 years ago
[Firefox] Broken space-time diagrams when the number of simulated steps >= 2^15
github.com/bbchallenge/bbchallenge - AndreyAkinshin opened this issue over 2 years ago
github.com/bbchallenge/bbchallenge - AndreyAkinshin opened this issue over 2 years ago
A Few methods corrections/clarifications.
github.com/bbchallenge/bbchallenge - sligocki opened this pull request over 2 years ago
github.com/bbchallenge/bbchallenge - sligocki opened this pull request over 2 years ago
Make URLs less bulky by removing simulation parameters when they are set to default
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
Redo changing tm format
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request over 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request over 2 years ago
Get rid of base-64 representations for something simpler?
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
Make Turing machines editable on the fly on the main page
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
Improve tm rendering 2
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request over 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this pull request over 2 years ago
Improve space-time diagrams rendering
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
github.com/bbchallenge/bbchallenge - tcosmo opened this issue over 2 years ago
Improve rendering of turing machines
github.com/bbchallenge/bbchallenge - modderme123 opened this pull request almost 3 years ago
github.com/bbchallenge/bbchallenge - modderme123 opened this pull request almost 3 years ago