jeff87654/busy-beaver
- Total stars
- 3
- Today · UTC
- +1since 15:55 UTC
More actions
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
A collection of busy beaver results with machine-checked Coq proofs: record-holding BB(8), BB(10), BB(12) machines and a 335-state machine that halts iff ZFC is inconsistent.
Useful for
- Verify the Coq proof of halting and exact score for the BB(10) machine
- Run the independent simulator to re-check the BB(10) analysis rules
- Study how the 335-state machine relates to ZFC consistency
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of October 13, 2026, 17:53 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-13 (UTC), 15:55–17:48: 2 → 3 stars (+1). This is the change over that interval.
- Estimated end-of-day forecast: about +1 stars, using observed gains and the previous day.
- The repository is 9 days old and already has 3 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Hacker News: “BB(10) > Graham's Number” — 57 points, 5 h ago.
Measured growth: the last 7 completed days
New stars over 7 days: 0.
Daily measurements · UTC
- October 6, 2026
- 0
- October 7, 2026
- 0
- October 8, 2026
- 0
- October 9, 2026
- 0
- October 10, 2026
- 0
- October 11, 2026
- 0
- October 12, 2026
- 0
Largest measured day in the last 30 days: 0 · October 4, 2026. Days with data: 9.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: October 13, 2026, 17:53 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 3
- Today
- +1 star measured 2026-10-13, 15:55–17:48 UTC, ≈ 1 by evening
- Forks
- 0
- Issues and pull requests
- 15
- Watchers
- 0
- Language
- Rocq Prover
- Created
- October 4, 2026
- Last push
- October 12, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Hacker News discussions
- BB(10) > Graham's Number57 points, October 13, 2026
Spotted in
- October 13, 2026Spotted on Hacker News
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/jeff87654/busy-beaver)