github.com/bbchallenge/bbchallenge issues | Ecosyste.ms: OpenCollective

Change Antihydra page to use better known math notation

void4 opened this pull request 3 months ago

Add custom Antihydra page

void4 opened this pull request 3 months ago

Create redirect for /antihydra

meithecatte opened this pull request 3 months ago

Improve support for initial tape

int-y1 opened this pull request 5 months ago

Initial tape only supports 0 and 1

int-y1 opened this issue 6 months ago

Goto bb6 no url change

tcosmo opened this pull request 6 months ago

Store sim parameters in URL search params

LegionMammal978 opened this pull request 6 months ago

Navigating history does not refresh the current machine

tcosmo opened this issue 6 months ago

Update racheline's name.

UncombedCoconut opened this pull request 6 months ago

Machine code table has columns with different widths

int-y1 opened this issue 6 months ago

Avoid making the logo huge in Discord embeds

meithecatte opened this pull request 6 months ago

As pre-work for proof visualization, parametrize a head/tape color style.

UncombedCoconut opened this pull request 6 months ago

Implement wiki qury

tcosmo opened this pull request 6 months ago

Remove closed issues

MartinSStewart opened this pull request 7 months ago

Improve support for initial tape

int-y1 opened this issue about 1 year ago

Don't crash the simulation when drawing halted tape

Nathan-Fenner opened this pull request about 1 year ago

Bug - Explore mode can break the visualizer

int-y1 opened this issue about 1 year ago

Fix typos

int-y1 opened this pull request about 1 year ago

minor state refactor for accessibility improvements

Nathan-Fenner opened this pull request about 1 year ago

Support multi-symbol (up to 10) Turing machines.

UncombedCoconut opened this pull request about 1 year ago

create MachineCanvas component

Nathan-Fenner opened this pull request over 1 year ago

Document the /machine/<machine_id>/decider API

meithecatte opened this pull request over 1 year ago

Add titles

dloranc opened this pull request over 1 year ago

Upgrade dependencies

allezxandre opened this pull request almost 2 years ago

Update the highlighted Skelet machines to represent unsolved ones.

UncombedCoconut opened this pull request almost 2 years ago

--- vs 1RZ

tyilo opened this issue almost 2 years ago

Special info for individual machines

bt2901 opened this issue almost 2 years ago

Typo: Remove duplicate word

nhowell opened this pull request almost 2 years ago

Suggested language for clarifying the ultimate proof and verification standards

UncombedCoconut opened this pull request about 2 years ago

Fix a typo.

UncombedCoconut opened this pull request about 2 years ago

Error in parsing 15 states machine code

tcosmo opened this issue about 2 years ago

[Firefox] Broken space-time diagrams when the number of simulated steps >= 2^15

AndreyAkinshin opened this issue over 2 years ago

A Few methods corrections/clarifications.

sligocki opened this pull request over 2 years ago

Simpler urls

tcosmo opened this pull request over 2 years ago

Make URLs less bulky by removing simulation parameters when they are set to default

tcosmo opened this issue over 2 years ago

Redo changing tm format

tcosmo opened this pull request over 2 years ago

Get rid of base-64 representations for something simpler?

tcosmo opened this issue over 2 years ago

Clean the code

tcosmo opened this issue over 2 years ago

Make Turing machines editable on the fly on the main page

tcosmo opened this issue over 2 years ago

Improve tm rendering 2

tcosmo opened this pull request almost 3 years ago

Improve space-time diagrams rendering

tcosmo opened this issue almost 3 years ago

Improve rendering of turing machines

modderme123 opened this pull request almost 3 years ago