# jeff87654/busy-beaver

> 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.

- Magnitude: 1.5 out of 10 — Quiet
- Stars: 3 total · +1 star measured 2026-10-13, 15:55–18:35 UTC, ≈ 1 by evening
- Star trust: star growth looks organic
- Category: Science & research · Language: Rocq Prover · Created: 2026-10-04 · Last push: 2026-10-12
- GitHub: https://github.com/jeff87654/busy-beaver · Page: https://gitnova.dev/en/r/jeff87654/busy-beaver

## 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

## Why it’s here

- Star-counter measurements on 2026-10-13 (UTC), 15:55–18:35: 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” — 61 points, 6 h ago.

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 0
- Issues and pull requests: 15
- Watchers: 0
- Average over the last week: 0 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 0

## Stars per day, last 10 days (oldest → newest, today is partial)

2026-10-04 … 2026-10-13: 0, 0, 0, 0, 0, 0, 0, 0, 0, 1

## Hacker News

- BB(10) > Graham's Number — 61 points, 38 comments: https://news.ycombinator.com/item?id=50070741

## Spotted in now

- Spotted on Hacker News

## More in this category

1. **chrislgarry/Apollo-11** — 6.3 · Breakout · Science & research · Assembly · +258 stars measured 2026-10-13, 00:01–18:24 UTC, ≈ 333 by evening
   Digitized original Apollo 11 Guidance Computer (AGC) assembly source code for the command and lunar modules, transcribed from MIT Museum scans.
   Full card: https://gitnova.dev/en/r/chrislgarry/Apollo-11.md
2. **openai/math** — 5.6 · Cooling · Science & research · Lean · +219 stars measured 2026-10-13, 00:01–18:24 UTC, ≈ 283 by evening
   A collection of mathematical manuscripts and Lean formalizations produced by an internal OpenAI model while solving open research problems. Intended for mathematicians and researchers studying the results and verifying proofs.
   Full card: https://gitnova.dev/en/r/openai/math.md
3. **CrocSwap/integer-mult-bounds** — 4.4 · Early signal · Science & research · Python · +37 stars measured 2026-10-13, 00:05–18:26 UTC, ≈ 47 by evening
   A research repository of community proofs improving the asymptotic exponent for integer multiplication (κ > 2^-15), with certificates, Lean checks and reproducible audits.
   Full card: https://gitnova.dev/en/r/CrocSwap/integer-mult-bounds.md
4. **google-deepmind/mujoco** — 2.5 · Steady · Science & research · C++ · +20 stars measured 2026-10-13, 00:05–18:31 UTC, ≈ 26 by evening
   A general-purpose physics engine for simulating articulated structures with contacts, used in robotics, biomechanics, graphics and reinforcement learning. Provides a C API, Python bindings, a native GUI and a Unity plug-in.
   Full card: https://gitnova.dev/en/r/google-deepmind/mujoco.md
5. **Robbyant/lingbot-map** — 2.3 · Peaking · Science & research · Python · +27 stars measured 2026-10-13, 00:05–18:31 UTC, ≈ 35 by evening
   A feed-forward 3D foundation model for streaming scene reconstruction from video: the Geometric Context Transformer unifies coordinate grounding, dense geometric cues, and drift correction in one streaming framework.
   Full card: https://gitnova.dev/en/r/Robbyant/lingbot-map.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-13 18:41 UTC, updated every 30 minutes.